1. J. Hugues , L. Pautet , B. Zalila , P. Dissaux , and M. Perrotin , Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project," in Proc . ERTS , 2008 . J. Hugues, L. Pautet, B. Zalila, P. Dissaux, and M. Perrotin, Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project," in Proc. ERTS, 2008.
2. TASTE web page." https://taste.tools/. TASTE web page." https://taste.tools/.
3. SAE , Architecture Analysis & Design Language (AADL) ," 2022 . SAE document AS 5506D SAE, Architecture Analysis & Design Language (AADL)," 2022. SAE document AS5506D
4. International Telecommunication Union, IT U-T Z.100. Specification and Description Language -- Overview of SDL-2010 ," 2021 . International Telecommunication Union, ITU-T Z.100. Specification and Description Language -- Overview of SDL-2010," 2021.
5. ADE
: Autonomous Decision Making in Very Long Traverses." ADE: Autonomous Decision Making in Very Long Traverses."