2000GYI

**OCARINA VERSION:** Ocarina 2017.x (Working Copy from r23cc28c) Copyright (c) 2003-2009 Telecom ParisTech, 2010-2018 ESA & ISAE Build date: /home/user/git/ocarina-build/ocarina_install/share/ocarina/AADLv1/ **HOST MACHINE and OPERATING SYSTEM:** Linux laptop 4.15.0-36-generic #39-Ubuntu SMP...