Stephan Flake Wolfgang Müller 0003 Specification of Real-Time Properties for UML Models. 277 2002 HICSS http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350277abs.htm db/conf/hicss/hicss2002-9.html#FlakeM02