Leuchter, M. et al. 2013. Reusing Verilog designs in the sunchronous language Esterel. Journal of Automation, Mobile Robotics and Intelligent Systems. 3, 1 (Jan. 2013), 23–29.