selected publications academic article Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. The Computer Journal. 38:301-309. 1995