1. Distributed co-simulation of complex engineered systems by combining the high level architecture and functional mock-up interface;Falcone;Simul Model Pract Theory,2019
2. Hybrid Systems, Vol. 736;Grossman,1993
3. Handbook of Hybrid Systems Control: Theory, Tools, Applications;Lunze,2009
4. Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and modelica;Bouskela;Requir Eng,2021
5. Differential dynamic logic for hybrid systems;Platzer;J Automat Reason,2008