Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. - Panagiotis Manolios; Kedar S. Namjoshi; Robert Summers (CAV, 1999)