B. Courcelle and I. Walukiewicz, “Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems”, BRICS, vol. 2, no. 44, Jun. 1995.