Trustworthy software by quality attesting of secure code and repairing flaws - Ferreira, Tomás Cardoso de Oliveira (2024)