Papers by Martin R. Kuhn:

Title: Modelica for large scale aircraft electrical network V&V
Authors: Martin R. Kuhn and Yang Ji
Links: Abstract, Full paper