1. The COMPASS project,
http://compass.informatik.rwth-aachen.de/
2. ADeS, a simulator for AADL,
http://www.axlog.fr/aadl/ades_en.html
3. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. on Soft. Eng. 29(6), 524–541 (2003)
4. Bozzano, M., Cavada, R., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Olive, X.: Formal Verification and Validation of AADL Models. In: Proc. ERTS 2010 (to be published, 2010)
5. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Codesign of Dependable Systems: A Component-Based Modelling Language. In: Proc. MEMOCODE’09, pp. 121–130. IEEE, Los Alamitos (2009)