E. Allen Emerson Jai Srinivasan Branching time temporal logic. 123-172 1988 conf/rex/1988 REX Workshop db/conf/rex/rex88.html#EmersonS88 http://dx.doi.org/10.1007/BFb0013022