Return to Article Details Designing safe finite state machines Download Download PDF