selected publications academic article Software Safety Architecture that can be Formally Verified. Atzautotechnology. 4:66-68. 2004