Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Augmenting formal development of control systems with quantitative reliability assessment. In Giovanna Di Marzo Serugendo, John S. Fitzgerald, editors, Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010. pages 61-70, ACM, 2010. [doi]
Abstract is missing.