Title: An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica Authors: Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda and Peter Fritzson Links: Abstract, Full paper
