A Partial Order Approach To Branching Time Logic Model Checking.pdf [Free Download!]