A model-based testing technique for component-based real-time embedded systems | IEEE Conference Publication | IEEE Xplore