Developing an Assurance Case for an Optical Communication Mission in a Model Based Setting | IEEE Conference Publication | IEEE Xplore