1. Continuous and hybrid petri nets;Alla;Journal of Circuits, Systems and Computers,1998
2. Hybrid Systems: Review and Recent Progress;Antsaklis,2005
3. Multiformalism to support software rejuvenation modeling;Barbierato,2012
4. Defining Formalisms for Performance Evaluation With SIMTHESys;Barbierato;Electr. Notes Theor. Comput. Sci.,2011
5. Exploiting multiformalism models for testing and performance evaluation in SIMTHESys;Barbierato,2011