Dong-In Kang Richard Gerber Leana Golubchik Jeffrey K. Hollingsworth Techniques for Automating Distributed Real-Time Applications Design. 1999 HPDC http://computer.org/proceedings/hpdc/0287/02870030abs.htm db/conf/hpdc/hpdc1999.html#KangGGH99