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