Симулация на системи с високи изисквания за безопасност специфицирани чрез AADL | Защитена на: 01/01/1900