Peter Scholz. Incremental design of statechart specifications. Science of Computer Programming, 40(1):119-145, 2001.
@article{Scholz01,
title = {Incremental design of statechart specifications},
author = {Peter Scholz},
year = {2001},
tags = {incremental, design},
researchr = {https://researchr.org/publication/Scholz01},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {40},
number = {1},
pages = {119-145},
}