Can intuition become rigorous? Foundations for UML model verification tools | IEEE Conference Publication | IEEE Xplore