Orna Kupferman Moshe Y. Vardi Relating linear and branching model checking. 304-326 1998 conf/procomet/1998 PROCOMET db/conf/procomet/procomet1998.html#KuphermannV98