Once and for all [temporal logic] | IEEE Conference Publication | IEEE Xplore