Robert M. Hierons Sadegh Sadeghipour Harbhajan Singh Testing a system specified using Statecharts and Z. 137-149 2001 43 Information & Software Technology 2 db/journals/infsof/infsof43.html#HieronsSS01