Modeling software with finite state machines

by Ferdinand Wagner, Ruedi Schmuki, Thomas Wagner, Peter Wolstenholme