Safety analysis of Hawk In Flight monitor. - Liz Whiting; Mike Hill (ACM SIGSOFT Softw. Eng. Notes, 1999)