Kirill Bolshakov Yuri Karpov Alexei Sintotskij DEALed - A Tool Suite for Distributed Real-Time Systems Development. 497-502 http://link.springer.de/link/service/series/0558/bibs/1662/16620497.htm 1999 conf/pact/1999 PaCT db/conf/pact/pact1999.html#BolshakovKS99