"Embedded systems"@en . "Synchronous paradigm"@en . "MDE"@en . "AADL"@en . "Formal methods"@en . "Yue" . "337801c28f0369c9941a490529629209" . "Polychrony"@en . "Yue Ma" . "Ma" . . . "Timing analysis"@en . "Program analysis"@en .