A model-based methodology of programming cyber-physical systems. - Sundeep Chandhoke; Tim Hayles; Jeff Kodosky; Guoqiang Wang (IWCMC, 2011)