Peter B. Ladkin Causal Analysis of the ACAS/TCAS Sociotechnical System. 3-12 2004 conf/scs/2004 SCS http://crpit.com/confpapers/CRPITV47Ladkin.pdf db/conf/scs/scs2004.html#Ladkin04