Scalable liveness checking via property-preserving transformations | IEEE Conference Publication | IEEE Xplore