Unfoldings : a partial-order approach to model checking / - Esparza, Javier. (Springer, 2008)