Denotational and Algebraic Semantics for Cyber-physical Systems | IEEE Conference Publication | IEEE Xplore