Modeling, specification, and verification of automaton programs

[1]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[2]  Anatoly A. Shalyto,et al.  SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems , 2004, Programming and Computer Software.