The Power of STL for Assured PNT