Statestep: a tool for systematic, incremental specification | IEEE Conference Publication | IEEE Xplore