Modeling software with finite state machinesFerdinand Wagner, Ruedi Schmuki, Thomas Wagner, Peter Wolstenholme · First published 2006Open the Tome