Test generation and minimization with "basic" statecharts. - Belli, Fevzi; Hollmann, Axel (2008)