Satnam Singh. Hardware/Software Synthesis and Verification Using Esterel. In Alistair A. McEwan, Steve A. Schneider, Wilson Ifill, Peter H. Welch, editors, The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007. Volume 65 of Concurrent Systems Engineering Series, pages 371-378, IOS Press, 2007.