@inproceedings {1486, title = {Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems}, booktitle = {Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS)}, year = {2012}, author = {Ricardo J. Rodr{\'\i}guez and Catia Trubiani and Jos{\'e} Merseguer} }