Dr. Jose María Alvarez-Rodríguez
CESAR (Cost-efficient methods and processes for safety relevant embedded systems) Project, entregable D_SP2_R3.3_M3_Vol2: http://www.cesarproject.eu/