Ricardo J. Rodríguez, José Merseguer: Integrating Fault-Tolerant Techniques into the Design of Critical Systems. ISARCS 2010: 33-51