BTestBox: A Tool for Testing B Translators and Coverage of B Models. - Diego de Azevedo Oliveira; Valério Medeiros Jr.; David Déharbe; Martin A. Musicante (TAP@FM, 2019)

Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. - Diego de Azevedo Oliveira; Marc Frappier (ABZ, 2020)

Modelling an Automotive Software System with TASTD. - Diego de Azevedo Oliveira; Marc Frappier (ABZ, 2023)

TASTD: A Real-Time Extension for ASTD. - Diego de Azevedo Oliveira; Marc Frappier (ABZ, 2023)