Alaa Ibrahim Hany H. Ammar Sherif M. Yacoub A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. 74-83 2001 conf/issre/2001 ISSRE http://csdl.computer.org/comp/proceedings/issre/2001/1306/00/13060074abs.htm db/conf/issre/issre2001.html#IbrahimAY01