SNo.	Author(s)	Title
1	Kim G. Larsen and Justin Pearson and Carsten Weise and Wang Yi	Clock Difference Diagrams
2	Gerd Behrmann and Kim Guldstrand Larsen and Justin Pearson	Efficient Timed Reachability Analysis Using Clock Difference
3	Kim G. Larsen Fredrik Larsson Paul Pettersson and Wang Yi	Compact Data Structure and State-Space Reduction for Model
4	Gerd Behrmann and Johan Bengtsson and Alexandre David and	sc Uppaal Implementation Secrets
5	Gerd Behrmann and Alexandre David and Kim G.\ Larsen and Oliver	sc Uppaal - Present and Future
6	Tobias Amnell and Elena Fersman and Paul Pettersson and	Code synthesis for timed automata
7	Tobias Amnell and Elena Fersman and Leonid Mokrushin and	TIMES: A Tool for Modelling and Implementation of

SNo.	Books and Reports
1	Computer Aided Verification
2	Proc. of 7em th International Symposium on Formal
3	Proc. of 40em th IEEE Conference on Decision and Control
4	Nordic Journal of Computing
5	Proc. of the 8em th International Conference on Tools