Efficient on-the-fly model checking for CTL | IEEE Conference Publication | IEEE Xplore