Tagged LTL
Sup

Disclaimer