Natural Language Processing of Specifications for a Prototypical Avionic System to Generate System Design: A Case Study | IEEE Conference Publication | IEEE Xplore