Abstract interpretation and partition refinement for model checking - Dams, Dennis René (Technische Universiteit Eindhoven, 1996)