A technique of automatic monitor generation based on FSM. - Duoli Zhang; Yu-Kun Song; Gaoming Du; Yuanjie Zhai (APCCAS, 2008)