Title: The virtual finite state machine
Subjects: Computer software, Decision logic tables, Software engineering, Specifications, Virtual computer systems