@Article{HaertigZschaler+07,
  author = {Hermann H{\"a}rtig and Steffen Zschaler and Martin Pohlack and Ronald Aigner and Steffen G{\"o}bel and Christoph Pohl and Simone R{\"o}ttger},
  title = {Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution},
  journal = {Springer Real-Time Systems Journal},
  volume = 35,
  number = 1,
  month  = jan,
  year   = 2007,
  publisher = {Springer},
  doi = {10.1007/s11241-006-9002-1},
}