Regular Linear-Time Temporal Logic | IEEE Conference Publication | IEEE Xplore