Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. - Tariq Mahmood; Edmund Kazmierczak; Tim Kelly; Dennis Plunkett (APSEC, 2007)