Behavioural Preservation in Fault Tolerant Patterns. - Diego Machado Dias; Juliano Manabu Iyoda (SBMF, 2011)

Compositionality and correctness of fault tolerant patterns in HOL4. - Diego Machado Dias; Juliano Iyoda (Sci. Comput. Program., 2014)

Mechanising an algebraic rely-guarantee refinement calculus. - Diego Machado Dias (2017)