Efficient Regular Linear Temporal Logic Using Dualization and Stratification | IEEE Conference Publication | IEEE Xplore