Silvije Jovalekic, Tri Nguyen. Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase. In Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2011, Munich, Germany, 18-22 July 2011. pages 168-173, IEEE Computer Society, 2011. [doi]
Abstract is missing.