Iulian Ober Susanne Graf Ileana Ober Validating timed UML models by simulation and verification. 128-145 2006 8 STTT 2 http://dx.doi.org/10.1007/s10009-005-0205-x db/journals/sttt/sttt8.html#OberGO06