A Contract-Based Methodology for Aircraft Electric Power System Design
Temporal and Modal Logic