Automated compression of state machines using UML statechart diagram notation

Tarja Systä, Kai Koskimies, Erkki Mäkinen. Automated compression of state machines using UML statechart diagram notation. Information \& Software Technology, 44(10):565-578, 2002.

Abstract

Abstract is missing.