Vujošević-Janičić, Milena, Filip Marić, and Dušan Tošić. 2009. “Using Simplex Method in Verifying Software Safety”. Yugoslav Journal of Operations Research 19 (1):133-48. https://doi.org/10.2298/YJOR0901133V.