Considering Concurrency in Early Spacecraft Design Studies. - Jafar Akhundov; Peter Tröger; Matthias Werner 001 (CS&P, 2015)

Considering Superposition in the Composable Hybrid Automata. - Jafar Akhundov; Peter Tröger; Matthias Werner 001 (CS&P, 2016)

Compositional Expressiveness of Hybrid Models. - Jafar Akhundov; Michael Reißner; Matthias Werner 001 (CS&P, 2018)

Superposition Principle in Composable Hybrid Automata. - Jafar Akhundov; Peter Tröger; Matthias Werner 001 (Fundam. Informaticae, 2018)