Case study on the benefits of an operational concept demo for GPS OCX | IEEE Conference Publication | IEEE Xplore