Parisaca Vargas A, Garis A, Tarifa SLT, George C.? 2009.??Model Checking LTL Formulae in RAISE with FDR. Integrated Formal Methods. 5423:231-245.