Source: https://www.ida.liu.se/~TDDD17/oldprojects/2019/tddd17-report-hamdu013-oloho254.pdf