Evaluation of the ASHLEY seamless tool-chain on a real-world avionics demonstrator | IEEE Conference Publication | IEEE Xplore