Model Checking TLR* Guarantee Formulas on Infinite Systems | Publicación