Modeling Software With Finite State Machines door Thomas Wagner & Ferdinand Wagner