Henning Dierks Josef Tapken Tool-supported hierarchical design of distributed real-time systems. 222-229 1998 ECRTS http://dx.doi.org/10.1109/EMWRTS.1998.685088 conf/ecrts/1998 db/conf/ecrts/ecrts1998.html#DierksT98