Ruedi Schmuki

• Modeling software with finite state machines