"Atki" . "Compilation"@en . "Formalisation"@en . "DO-178C"@en . "Formal methods"@en . . "Design"@en . "Abdellatif" . "Domain-specific languages"@en . "Abdellatif Atki" . . "Static analysis"@en . "79f40098d10476e8826885b70220879b" . "Development process"@en . . "Avionics software"@en . "Industrial application"@en .