A Methodology and first results to assess the potential of urban air mobility concepts
Market-driven Derivation of Field Performance Requirements for Conceptual Aircraft Design
On the Implementation of a European Space Traffic Management System - III. Technical Requirements
Symbolic Abstraction of System Requirements
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions