Enforceable component-based realtime contracts

Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel, Christoph Pohl, Simone Röttger. Enforceable component-based realtime contracts. Real-Time Systems, 35(1):1-31, 2007. [doi]

Abstract

Abstract is missing.