@TECHREPORT{WieringaBroersenPSMT1998, author = {R.J. Wieringa and J.M. Broersen}, title = {Minimal Transition System Semantics for Lightweight Class- and Behavior Diagrams}, number = {TUM-I9803}, year = {1998}, institution = {Institut fur informatik, technische universitat munchen}, note = {Proceedings PSMT-Workshop om Precise Semantics for Software Modeling Techniques} }