Vujošević-Janičić, M., Marić, F., & Tošić, D. (2009). Using simplex method in verifying software safety. Yugoslav Journal of Operations Research, 19(1), 133–148. https://doi.org/10.2298/YJOR0901133V