Design, Implementation and Deployment of State Machines Using a Generative Approach.

Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross

Browse the full ICSE paper archive.