@inproceedings{BBG12,
title = {A Theory of Fault Recovery for Component-Based Models },
author = {Bonakdarpour, Borzoo and Bozga, Marius and Goessler, Gregor},
year = {2012},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings},
pages = {314-328},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7596},
team = {DCS, RSD},
}