E. A. Bachelder

Animating safety-critical automation logic and intent: a candidate design

Nancy G. Leveson, E. A. Bachelder, 2002, Proceedings. The 21st Digital Avionics Systems Conference.