Vujošević-Janičić, .... (2016). Using simplex method in verifying software safety. Yugoslav Journal Of Operations Research, 19(1). Retrieved from