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

Browse the full CBMS paper archive.