Reference:

Javier Esparza and Keijo Heljanko. Unfoldings - a partial-order approach to model checking. EATCS Monographs in Theoretical Computer Science. Springer-Verlag, 2008.

Suggested BibTeX entry:

@article{EH08book,
    author = {Javier Esparza and Keijo Heljanko},
    publisher = {Springer-Verlag},
    series = {EATCS Monographs in Theoretical Computer Science},
    title = {Unfoldings - A Partial-Order Approach to Model Checking},
    year = {2008}
}