Mahmood, et al.. Modeling and Learning Interaction-based Accidents for Safety-critical Software Systems. IEEE, 2007, doi:10.1109/aspec.2007.59.