A Contract-Based Methodology for Aircraft Electric Power System Design
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design