Application of IEEE standards and ATML in TPS development for ministry of defence UK | IEEE Conference Publication | IEEE Xplore