Andrés Paz, Ghizlane El-Boussaidi. A requirements modelling language to facilitate avionics software verification and certification. In Gregory Gay, Sahar Tahvili, Michael Unterkalmsteiner, editors, Proceedings of the 6th International Workshop on Requirements Engineering and Testing, RET@ICSE 2019, Montreal, QC, Canada, May 28, 2019. pages 1-8, IEEE / ACM, 2019. [doi]
Abstract is missing.