Hisaaki Katagiri Keiichi Yasumoto Akira Kitajima Teruo Higashino Kenichi Taniguchi Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. 762-767 2000 DAC http://doi.acm.org/10.1145/337292.337771 db/conf/dac/dac2000.html#KatagiriYKHT00