A meta-model framework for the design and analysis of smart cyber-physical environments | IEEE Conference Publication | IEEE Xplore