selected publications chapter ARTIE: A Proven Correct Architecture for Safety-Critical Applications. Springer eBooks. 452-460. 1997