Frédéric Gava Michaël Guedj Franck Pommereau A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. 11-18 2012 ISPDC https://doi.org/10.1109/ISPDC.2012.10 https://doi.ieeecomputersociety.org/10.1109/ISPDC.2012.10 conf/ispdc/2012 db/conf/ispdc/ispdc2012.html#GavaGP12