Title: Modeling software with finite state machines
Subjects: Development, Machine theory, Computer software