1 2 3 4 5 6 7 8 9 10 11
machine A [ states [ A ]; events [ A ]; starting on A; transitions [ from A to A on event A given (B.C && !C.D) execute eke; ]; ];