Tobias Amnell Elena Fersman Leonid Mokrushin Paul Pettersson Wang Yi TIMES - A Tool for Modelling and Implementation of Embedded Systems. 460-464 2002 conf/tacas/2002 TACAS http://link.springer.de/link/service/series/0558/bibs/2280/22800460.htm db/conf/tacas/tacas2002.html#AmnellFMPY02