Test-driven modeling and development of cloud-enabled cyber-physical smart systems | IEEE Conference Publication | IEEE Xplore