Ben Abbott Monica Joshi Tools for model-based real-time system synthesis. 65-72 1997 conf/ecbs/1997 ECBS http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890065abs.htm db/conf/ecbs/ecbs1997.html#AbbottJ97