M. Vujošević-Janičić, F. Marić, and D. Tošić, “Using simplex method in verifying software safety”, YUJOR, vol. 19, no. 1, pp. 133–148, Mar. 2009.