A General Framework for the Composition of Timed Systems Extended Abstract.

Joseph Sifakis A General Framework for the Composition of Timed Systems Extended Abstract. 27-28 1998 conf/ftrtft/1998 FTRTFT http://link.springer.de/link/service/series/0558/bibs/1486/14860027.htm db/conf/ftrtft/ftrtft1998.html#Sifakis98