Title: Logic Synthesis for Control Automata
Subjects: Logic design, Digital control systems