Title: Abstract State Machines
Subjects: System design, Computer software, development, Embedded computer systems