Title: Abstract state machines
Subjects: Development, Embedded computer systems, System design, Computer software, Computer software, development