An architecture supporting safety critical software - Jung, Soon-Key (Rijksuniversiteit te Groningen, 1993)