Rogério de Lemos Jon G. Hall Extended RTL in the Specification and Verification of an Industrial Press. 114-125 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#LemosH95