Towards model-based and CCM-based applications for real-time systems | IEEE Conference Publication | IEEE Xplore