S. Stepanov and A. Shishkin, “Using the static verification tools for checking the ScopeShell system”, Num. Meth. Prog., vol. 10, no. 19, pp. 22–33, Jan. 2009.