Efficient CSPZ Data Abstraction. - Adalberto Farias; Alexandre Mota 001; Augusto Sampaio 001 (IFM, 2004)

Checking Z Data Refinements Using Traces Refinement. - André Didier; Adalberto Farias; Alexandre Mota 001 (SBMF, 2008)

Compositional Abstraction of CSPZ Processes. - Adalberto Farias; Alexandre Cabral Mota; Augusto Sampaio 001 (J. Braz. Comput. Soc., 2008)

A Mechanized Strategy for Safe Abstraction of CSP Specifications. - Adriana Damasceno; Adalberto Farias; Alexandre Mota 001 (SBMF, 2009)

Rapid Prototyping of a Semantically Well Founded Circus Model Checker. - Alexandre Mota 001; Adalberto Farias; André Didier; Jim Woodcock 001 (SEFM, 2014)

Model checking CML: tool development and industrial applications. - Alexandre Mota 001; Adalberto Farias; Jim Woodcock 001; Peter Gorm Larsen (Formal Aspects Comput., 2015)