Fenglin Han, Peter Herrmann, Hien Le. Modeling and Verifying Real-Time Properties of Reactive Systems. In 2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013. pages 14-23, IEEE, 2013. [doi]
Abstract is missing.