Vujošević-Janičić, Milena, Filip Marić, and Dušan Tošić. “Using Simplex Method in Verifying Software Safety”. Yugoslav Journal of Operations Research 19, no. 1 (March 1, 2009): 133–148. Accessed May 23, 2026. https://yujor.fon.bg.ac.rs/index.php/yujor/article/view/260.