A platform-independent component modeling language for distributed real-time and embedded systems | IEEE Conference Publication | IEEE Xplore