A model-based design methodology for cyber-physical systems. - Jeff C. Jensen; Danica H. Chang; Edward A. Lee (IWCMC, 2011)