selected publications chapter On the Structure of Avionics Systems Architecture. Lecture Notes in Computer Science. 2019