SAT-based Bounded Model Checking for SE-LTL | IEEE Conference Publication | IEEE Xplore