1. Gray, J., Rossi, M., Tolvanen, J.P. (eds.): Domain-specific modelingwith visual languages. J.Vis. Lang. Comput. 15(3–4), 207–330 (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, Washington, DC (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. Technical report, LAAS-CNRS (1996)
5. Goswami K.K., Iyer R.K. and Young L.T. (1997). DEPEND: a simulation-based environment for system level dependability analysis. IEEE Trans. Comput. 46(1): 60–74