Modelling Finite-State Machines in the Verification Environment using Software Design Patterns Author(s): Darko M. Tomušilović and Mihajlo Z. Minović Download
