Links: FSM Input Syntax FSM Output Syntax FSM Monitoring Algorithm
FSM plugin for MOP allows one to synthesize monitors from finite state machine (FSM) descriptions.