Automated generation of certification relevant documentation for a distributed avionics platform approach | IEEE Conference Publication | IEEE Xplore