1. Journal of Visual Languages & Computing,2004
2. Vangheluwe, H., de Lara, J.: Domain-specific modelling for analysis and design of traffic networks. In: Ingalls, R., Rossetti, M., Smith, J., Peters, B. (eds.) Winter Simulation Conference, IEEE Computer Society, Los Alamitos (2004)
3. Pfeifer, H., von Henke, F.W.: Formal modelling and analysis of fault tolerance properties in the time-triggered architecture. In: 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (2004)
4. Boue, J., Arlat, J., Crouzet, Y., Petillon, P.: Verification of fault tolerance by means of fault injection into VHDL simulation models. In: Contrat Esprit DeVa Project (1996)
5. Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)