Model-driven development of cyber-physical systems using Theatre | IEEE Conference Publication | IEEE Xplore