Donald Santel

The integration of a formal safety analysis into the future software engineering process: An example from the pacemaker industry

Donald Santel, Charles Trautmann, W. Lui, 1988, Proceedings of the Symposium on the Engineering of Computer-Based Medical.