A light-weight static approach to analyzing UML behavioral properties | IEEE Conference Publication | IEEE Xplore