@inproceedings{mahmood_kazmierczak_kelly_plunkett_2007, 
  title={Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems}, 
  DOI={10.1109/aspec.2007.59}, 
  publisher={IEEE}, 
  author={Mahmood and Kazmierczak and Kelly and Plunkett}, 
  year={2007}
  }