Augmenting a Regular Expression-Based Temporal Logic with Local Variables | IEEE Conference Publication | IEEE Xplore