Radu Grosu

• From Reactive Systems to Cyber-Physical Systems