Can Intuition Become Rigorous? Foundations for UML Model Verification Tools