@InProceedings{chp:facs2005,
  author = {Jan Carlson and John H{\aa}kansson and Paul Pettersson},
  title = {SaveCCM: An Analysable Component Model for Real-Time Systems},
  booktitle = {Proceedings of the 2nd Workshop on Formal Aspects of Components Software (FACS 2005)},
  editor = {},
  volume = {},
  year = {2005},
  pages = {},
  series =     {Electronic Notes in Theoretical Computer Science},
  publisher =     {Elsevier}
}