Publications

Freely available:

Description	Date	File
"SDL for Real-Time: What Is Missing ?" - M. Bozga, S. Graf, L. Mounier, A. Kerbrat, I. Ober, D. Vincent - SAM'2000, Grenoble, France	June 2000	PostScript
"Real-Time Systems Development with SDL and Next Generation Validation Tools" - R. Sinnott - Workshop on Real Time and Embedded Systems, London, UK	December 2001	PDF/DOC
"Timed TTCN-3 - A real-time extension for TTCN-3" - Z.R. Dai, J. Grabowski, H. Neukirchen - Technical Report SIIM-TR-A-01-14 - University of Luebeck	November 2001	PDF

Description	Date	File
"Timed Extensions for SDL" - M. Bozga, S. Graf, L. Mounier , I. Ober, J.L. Roux, D. Vincent - SDL'Forum 2001, Copenhagen, Denmark	June 2001	PDF / PS
"Some implications of MSC, SDL and TTCN time extensions for computer-aided test generation" - D. Hogrefe, B. Koch, H. Neukirchen - SDL'Forum 2001, Copenhagen, Denmark	June 2001	PDF
"Real-time test specification with TTCN-3" - Z.R. Dai, J. Grabowski, H. Neukirchen - German workshop on formal description techniques - Bruchsal, Germany	June 2001	PDF