Modeling Software with Finite State Machines | 9780849380860 | Memmo