Joel Huselius Johan Andersson Model Synthesis for Real-Time Systems. 52-60 2005 conf/csmr/2005 CSMR http://csdl.computer.org/comp/proceedings/csmr/2005/2304/00/23040052abs.htm db/conf/csmr/csmr2005.html#HuseliusA05