Jérôme Hugues, Julien Delange. Model-based design and automated validation of ARINC653 architectures. In 2015 International Symposium on Rapid System Prototyping, RSP 2015, Amsterdam, The Netherlands, October 8-9, 2015. pages 3-9, IEEE, 2015. [doi]
Abstract is missing.