Compositional temporal analysis model for incremental hard real-time system design

Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij. Compositional temporal analysis model for incremental hard real-time system design. In Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr, editors, Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. pages 185-194, ACM, 2012. [doi]

@inproceedings{HausmansGWB12,
  title = {Compositional temporal analysis model for incremental hard real-time system design},
  author = {Joost P. H. M. Hausmans and Stefan J. Geuns and Maarten Wiggers and Marco Bekooij},
  year = {2012},
  doi = {10.1145/2380356.2380390},
  url = {http://doi.acm.org/10.1145/2380356.2380390},
  researchr = {https://researchr.org/publication/HausmansGWB12},
  cites = {0},
  citedby = {0},
  pages = {185-194},
  booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012},
  editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr},
  publisher = {ACM},
  isbn = {978-1-4503-1425-1},
}