https://fykakahonudo.stichtingdoel.com/design-automation-and-test-in-europe-book-10826nc.php