1. IBM. An Architectural Blueprint for Autonomic Computing. Technical report, 2005.
2. Modelling with Generalized Stochastic Petri Nets;Ajmone Marsan,1995
3. Performance models for discrete event systems with synchronizations: formalisms and analysis techniques,1998
4. A generic model of contracts for embedded systems;Benveniste;CoRR,2007
5. Online verification in cyber-physical systems: practical bounds for meaningful temporal costs;Bersani;J. Softw. Evolut. Process,2018