Xi Zheng. Physically informed assertions for cyber physical systems development and debugging. In 2014 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom 2014 Workshops, Budapest, Hungary, March 24-28, 2014. pages 181-183, IEEE, 2014. [doi]
Abstract is missing.