Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.

Lars Grunske Bernhard Kaiser Yiannis Papadopoulos Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. 33-48 2005 conf/cbse/2005 CBSE http://dx.doi.org/10.1007/11424529_3 db/conf/cbse/cbse2005.html#GrunskeKP05