Model checking concurrent and real-time systems : the PAT approach - LIU YANG (2010)
Ph.D