José Eduardo Rivera Cristina Vicente-Chicote Antonio Vallecillo Extending Visual Modeling Languages with Timed Behavior Specifications. 87-100 2009 CIbSE conf/cibse/2009 db/conf/cibse/cibse2009.html#RiveraVV09