Tariq Mahmood Edmund Kazmierczak Tim Kelly Dennis Plunkett Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. 175-182 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.71 db/conf/apsec/apsec2007.html#MahmoodKKP07