@inproceedings{BGK+00,
title = { {SDL} for {R}eal {T}ime: What is missing? },
author = {Bozga, Marius and Graf, Susanne and Kerbrat, Alain and Mounier, Laurent and Ober, Iulian and Vincent, Daniel},
month = {jun},
year = {2000},
booktitle = {Proceedings of SAM'00: 2nd Workshop on {SDL} and {MSC} (Grenoble, France)},
pages = {108 --122},
publisher = {IMAG},
team = {DCS,PACSS},
abstract = {This paper provides an overview on the main weaknesses of SDL for the development of real-time sysstems, both on the programming and on the specification side. In particular the fact that according to the standard time progress is totally external and forbids control over time progress is a real hindernis for verification. For this reason, we propose to introduce in SDL the time concepts of timed automata with urgency. We illustrate our proposal by means of a small but realistic example, and show the relationships to several other proposals.},
}
