Wagner, F., Schmuki, R., Wagner, T., and Wolstenholme, P., Modeling Software with Finite State Machines: A Practical Approach, Auerbach Publications, 2006.