Model-driven development of integrated health management architectures | IEEE Conference Publication | IEEE Xplore