Unfoldings A Partial-Order Approach to Model Checking - Esparza, Javier; Heljanko, Keijo (Springer Berlin Heidelberg, 2008)