@misc {IOPORT.70443413,
    author       = {Vargas, Abigail Parisaca and Garis, Ana Gabriela and Tarifa, Silvia Lizeth Tapia and George, Chris},
    title        = {Model checking LTL formulae in RAISE with FDR},
    howpublished = {IFM, 231-245 (2009).},
    year         = {2009},
    doi          = {10.1007/978-3-642-00255-7_16},
    identifier   = {70443413},
}