Cantone, A., and Y. Adonsou. “Using Karnaugh Maps in Software Requirements Analysis”. Journal of System Safety, vol. 54, no. 1, Apr. 2018, pp. 22-39, doi:10.56094/jss.v54i1.82.