Formalization of software models for cyber-physical systems.

Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits

Browse the full ICSE paper archive.