Model validation of an open-source framework for post-processing INS/GNSS systems