Reusing Verilog designs in the sunchronous language Esterel - Leuchter, Menachem; Tyszberowicz, Shmuel; Feldman Yishai, A. (Journal of Automation, Mobile Robotics and Intelligent Systems, 2009)