Mahmood, Kazmierczak, Kelly, Plunkett, 2007. Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems, in: . IEEE.. https://doi.org/10.1109/aspec.2007.59