Mats Per Erik Heimdahl Experiences and Lessons from the Analysis of TCAS II. 79-83 1996 ISSTA http://doi.acm.org/10.1145/229000.226304 db/conf/issta/issta96.html#Heimdahl96