@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}
}

