Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron Ames, Alexandre Chapoutot. A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). In 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), Macau, China, June 18-21, 2012. pages 303-308, IEEE Computer Society, 2012. [doi]
Abstract is missing.