A data extraction process for avionics systems' interface specifications | IEEE Conference Publication | IEEE Xplore