Ibrahim Habli Tim Kelly A Model-Driven Approach to Assuring Process Reliability. 7-16 2008 ISSRE http://dx.doi.org/10.1109/ISSRE.2008.19 conf/issre/2008 db/conf/issre/issre2008.html#HabliK08