Extension of component-based models for control and monitoring of embedded systems at runtime | IEEE Conference Publication | IEEE Xplore