@article{FASE-J-1998-Scholz01,
	author        = "Peter Scholz",
	doi           = "10.1016/S0167-6423(00)00026-5",
	journal       = "{Science of Computer Programming}",
	number        = 1,
	pages         = "119--145",
	title         = "{Incremental design of statechart specifications}",
	volume        = 40,
	year          = 2001,
}