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