https://www.dieei.unict.it/it/node/4284
Seminario DLP CAS chapter