Hermann Härtig Steffen Zschaler Martin Pohlack Ronald Aigner Steffen Göbel Christoph Pohl Simone Röttger Enforceable component-based realtime contracts. 1-31 2007 35 Real-Time Systems 1 http://dx.doi.org/10.1007/s11241-006-9002-1 db/journals/rts/rts35.html#HartigZPAGPR07