Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase | IEEE Conference Publication | IEEE Xplore