Automated Testing of LTL Formula Generation by Prospec | IEEE Conference Publication | IEEE Xplore