@proceedings {RM_ISARCS10, title = {Integrating Fault-Tolerant Techniques into the Design of Critical Systems}, volume = {6150}, year = {2010}, pages = {33--51}, publisher = {Springer}, address = {Prague}, author = {R.J. Rodr{\'\i}guez and Jos{\'e} Merseguer} }