Automatic monitor generation from regular expression based specifications for module interface verification. - Yosuke Kakiuchi; A. Kitajima; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (ISCAS (4), 2005)