Robert Siegmund Dietmar Müller Automatic Synthesis of Communication Controller Hardware from Protocol Specifications. 84-95 2002 19 IEEE Design & Test of Computers 4 http://doi.ieeecomputersociety.org/10.1109/MDT.2002.1018137 db/journals/dt/dt19.html#SiegmundM02