McMillan. Verification of Infinite State Systems by Compositional Model Checking. Springer Berlin Heidelberg, 1999, doi:10.1007/3-540-48153-2_17.