Krzysztof Kuchcinski Synthesis of Distributed Embedded Systems. 1022-1028 1999 conf/euromicro/1999 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1999/0321/01/03211022abs.htm db/conf/euromicro/euromicro1999.html#Kuchcinski99