Vujošević-Janičić, M.; Marić, F.; Tošić, D. Using Simplex Method in Verifying Software Safety. YUJOR 2009, 19, 133-148.