Cantone, A., & Adonsou, Y. (2018). Using Karnaugh Maps in Software Requirements Analysis. Journal of System Safety, 54(1), 22–39. https://doi.org/10.56094/jss.v54i1.82