A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. (1997)

by J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, Yakovlev
Venue:IEICE Trans. Inf. Syst.,