Sascha Konrad Laura A. Campbell Betty H. C. Cheng Automated Analysis of Timing Information in UML Diagrams. 350-353 2004 conf/kbse/2004 ASE http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310350abs.htm db/conf/kbse/ase2004.html#KonradCC04