Esparzaand Heljanko. A New Unfolding Approach to LTL Model Checking. Springer Berlin Heidelberg, 2000, doi:10.1007/3-540-45022-x_40.