Practical Approach

Modeling Software with Finite State Machines: A Practical Approach

Ferdinand Wagner,Ruedi Schmuki,Thomas Wagner,Peter Wolstenholme