Francesco Curatelli Leonardo Mangeruca Marco Chirico A Message-Passing Communication Scheme for System Specification. 1390-1393 1999 conf/euromicro/1999 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1999/0321/01/03211390abs.htm db/conf/euromicro/euromicro1999.html#CuratelliMC99