Verifying properties of systems with variable timing constraints | IEEE Conference Publication | IEEE Xplore