Vujošević-Janičić, Milena, et al. “Using Simplex Method in Verifying Software Safety”. Yugoslav Journal of Operations Research, vol. 19, no. 1, Mar. 2009, pp. 133-48, doi:10.2298/YJOR0901133V.