Multiple Synchrony in MSC. - Flávia Falcão; Juliano Iyoda; Augusto Sampaio 001 (SBMF, 2008)

Safe and Constructive Design with UML Components. - Flávia Falcão; Lucas Lima 001; Augusto Sampaio 001 (SBMF, 2018)

A formal component model for UML based on CSP aiming at compositional verification. - Flávia Falcão; Lucas Lima 001; Augusto Sampaio 001; Pedro Antonino (Softw. Syst. Model., 2024)