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