PyCL – Python-based AADL Constraint Languageдоклад на конференции