Unfoldings : a partial-order approach to model checking - Esparza, Javier, 1964- (Monographs in theoretical computer science, 2008)