A model-based design methodology for cyber-physical systems.

Jeff C. Jensen, Danica H. Chang, Edward A. Lee

Browse the full IWCMC paper archive.