Specification and verification of real-time systems using ACSR-VP | IEEE Conference Publication | IEEE Xplore