Symbolic Model Checking for Propositional Projection Temporal Logic | IEEE Conference Publication | IEEE Xplore