ASM, controller synthesis, and complete refinement
Decomposing controller and plant from a unified model. ASM scheduling policy. Continuous ASM. Chopsticks case study.
asm controller complete refinement continuous asm chopsticks