Methodology for the development of microprocessor based safety critical systems. - Michael Schrönen (Shaker, 1998)