Model Driven Verification of Airplane Scenarios, Requirements and Functions. - Chao Zhan; Dongsheng Chen; Yanbo Zhang; Meixiang Peng (CSDM Asia / CSDM, 2021)