Automated Generation of Test Artifacts and Traceability for a Safety-Critical, Distributed Avionics Platform | IEEE Conference Publication | IEEE Xplore