Igna, G.; Kannan, V.; Yang, Y.; Basten, T.; Geilen, M.; Vaandrager, F.W.; Voorhoeve, M.; Smet, S. de; Somers, L.
2008, Article in monograph or in proceedings (Cassez, F.; Jard, C. (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 169-186)