Offers a single environment for combinatorial and sequential decision logic based on state machines and flow charts The state transition table interface provides automatic completion and static ...