Soon-Key Jung

• An architecture supporting safety critical software