Proceedings of the ACM SIGSOFT '91 conference on software for critical systems : NEW ORLEANS, LOUSIANA, DECEMBER 4-6, 1991. (ACM,Inc, 1991)