Modular architecture for real-time contract-based framework | IEEE Conference Publication | IEEE Xplore