Gava, Guedj, Pommereau, 2012. A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols, in: . IEEE.. https://doi.org/10.1109/pdcat.2012.12