TRUSTIE: Design of a Trustworthy Software Production Environment | IEEE Conference Publication | IEEE Xplore