Automated runtime management of embedded service systems based on design-time modeling and model transformation | IEEE Conference Publication | IEEE Xplore