Partitioning transition relations efficiently and automatically | IEEE Conference Publication | IEEE Xplore