Peter Scholz Incremental design of statechart specifications. 119-145 2001 40 Sci. Comput. Program. 1 db/journals/scp/scp40.html#Scholz01