Modeling software with finite state machines | lit.salon