OACV: OCL-based Avionics Component Verification. - Pei Hong; Chunling Sheng; Xiaohu Luo; Yueyuan Jin; Ruonan Rao (HP3C, 2020)