Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory.

Bingqing XuLichen Zhang
Published in: CSE (2013)