Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models Academic Article uri icon