Gabriel Juhás Robert Lorenz Christian Neumair Synthesis of Controlled Behavior with Modules of Signal Nets. 238-257 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3099&spage=238 2004 conf/apn/2004 ICATPN db/conf/apn/icatpn2004.html#JuhasLN04