Publication Venue For Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models. 16:2435-2454. 2010-09-01