Title: System controller specification in a direct execution architecture
Subjects: Control theory, Machine theory