Specifying Life Cycle Requirements in a Natural-like Language and ptLTL | IEEE Conference Publication | IEEE Xplore