A Translation from RSL to CSP. - Abigail Parisaca Vargas; Silvia Lizeth Tapia Tarifa; Chris George (SCCC, 2008)

Model Checking LTL Formulae in RAISE with FDR. - Abigail Parisaca Vargas; Ana Gabriela Garis; Silvia Lizeth Tapia Tarifa; Chris George (IFM, 2009)

Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards. - Abigail Parisaca Vargas; Robin Bloomfield (KEOD, 2015)

An ontology-based analysis method for assessing and improving the quality of hazard analysis results. - Abigail Parisaca Vargas (2021)