Modeling software with finite state machines

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