Exploiting partitioned transition relations for efficient symbolic model checking in CTL | IEEE Conference Publication | IEEE Xplore