A distributed and reusable workflow-based auto test framework for distributed integrated modular avionics | IEEE Conference Publication | IEEE Xplore