Colin F. Snook Michael J. Butler Using a Graphical Design Tool for Formal Specification. 24 2001 PPIG https://ppig.org/papers/2001-ppig-13th-snook/ conf/ppig/2001 db/conf/ppig/ppig2001.html#SnookB01