Links: ERE Input Syntax ERE Output Syntax ERE Monitoring Algorithm
ERE plugin for MOP allows one to synthesize monitors from extended regular expressions (ERE).