Lucia Vencato. Development of System Verification Methods for Aircraft Electronic Systems. Rel. Mario Roberto Casu. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024