@inproceedings{boudjadar:hal-01231765,
  TITLE = {{Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems}},
  AUTHOR = {Boudjadar, Abdeldjalil and Vaandrager, Frits and Bodeveix, Jean-Paul and Filali, M},
  URL = {https://hal.science/hal-01231765},
  BOOKTITLE = {{5th International Conference on Fundamentals of Software Engineering (FSEN 2013)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Farhad Arbab and Marjan Sirjani},
  PUBLISHER = {{Springer Berlin Heidelberg}},
  SERIES = {Lecture Notes in Computer Science book series (LNCS)},
  VOLUME = {8161},
  PAGES = {111-132},
  YEAR = {2013},
  MONTH = Apr,
  DOI = {10.1007/978-3-642-40213-5\_8},
  KEYWORDS = {Timed automata ; Callable timed automata ; Dynamic real-time systems},
  PDF = {https://hal.science/hal-01231765/file/boudjadar_12579.pdf},
  HAL_ID = {hal-01231765},
  HAL_VERSION = {v1},
}