Papers by Martin Kuhn:

Title: Model Based Specifications in Aircraft Systems Design
Authors: Martin Kuhn, Martin Otter and Tim Giese
Links: Abstract, Full paper