Source: https://www.crysys.hu/publications/files/setit/thesis_bme_Gedeon20bsc.pdf