A Modelling and Simulation Based Approach to Dependable System Design. - Miriam Zia; Sadaf Mustafiz; Hans Vangheluwe; Jörg Kienzle (MoDELS, 2005)

Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation. - Miriam Zia; Ernesto Posse; Hans Vangheluwe (ICSOFT (SE), 2007)

Multi-formalism modelling and model transformation for the design of reactive systems. - Thomas Huining Feng; Miriam Zia; Hans Vangheluwe (SCSC, 2007)

A modelling and simulation based process for dependable systems design. - Miriam Zia; Sadaf Mustafiz; Hans Vangheluwe; Jörg Kienzle (Softw. Syst. Model., 2007)