Leuchter, Menachem, et al. “Reusing Verilog Designs in the Sunchronous Language Esterel”. Journal of Automation, Mobile Robotics and Intelligent Systems, vol. 3, no. 1, Jan. 2013, pp. 23-29, https://jamris.d.tomp.pl/index.php/JAMRIS/article/view/626.