Formal Specification of a Cardiac Pacing System. - Artur Oliveira Gomes; Marcel Vinícius Medeiros Oliveira (FM, 2009)

Formal Development of a Cardiac Pacemaker: From Specification to Code. - Artur Oliveira Gomes; Marcel Vinícius Medeiros Oliveira (SBMF, 2010)

Modelling the Haemodialysis Machine with Circus. - Artur Oliveira Gomes; Andrew Butterfield (ABZ, 2016)

Towards a Model-Checker for Circus. - Artur Oliveira Gomes; Andrew Butterfield (FM, 2019)

Circus2CSP: A Tool for Model-Checking Circus Using FDR. - Artur Oliveira Gomes; Andrew Butterfield (FM, 2019)