Modeling Software with Finite State Machines | lit.salon