Arshad Jhumka Martin Hiller Neeraj Suri Component-Based Synthesis of Dependable Embedded Software. 111-128 2002 conf/ftrtft/2002 FTRTFT http://link.springer.de/link/service/series/0558/bibs/2469/24690111.htm db/conf/ftrtft/ftrtft2002.html#JhumkaHS02