A technique of automatic monitor generation based on FSM | IEEE Conference Publication | IEEE Xplore