Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS) | IEEE Conference Publication | IEEE Xplore