dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. - Pablo F. Castro; Cecilia Kilmurray; Araceli Acosta; Nazareno Aguirre (SEFM, 2011)

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. - Araceli Acosta; Cecilia Kilmurray; Pablo F. Castro; Nazareno Aguirre (SBMF, 2012)