Tarja Systä Kai Koskimies Erkki Mäkinen Automated compression of state machines using UML statechart diagram notation. 565-578 2002 44 Inf. Softw. Technol. 10 db/journals/infsof/infsof44.html#SystaKM02 https://doi.org/10.1016/S0950-5849(02)00077-0