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 September 28, 2025. https://yujor.erc.fon.bg.ac.rs/index.php/yujor/article/view/260.