Construction and SAT−based verification of Contextual Unfoldings - Schwoon, S; Rodríguez, C (Springer, 2011)