Model Checking LTL Formulae in RAISE with FDR | Publicación