Model using CDSChecker (https://plrg.ics.uci.edu/software_page/42-2/) - View it on GitHub