A System Engineering Tool for the Optimisation of a GNSS Constellation Design | IEEE Conference Publication | IEEE Xplore