Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle. - Leandro Buss Becker; Guilherme V. Raffo; Fernando Silvano Goncalves (SBESC, 2013)

Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems. - Fernando Silvano Goncalves; Leandro Buss Becker (SBESC, 2014)

Preparing Cyber-physical Systems Functional Models for Implementation. - Fernando Silvano Goncalves; Leandro Buss Becker (SBESC, 2015)

Model driven engineering approach to design sensing and actuation subsystems. - Fernando Silvano Goncalves; Leandro Buss Becker (ETFA, 2016)

Formal Verification of AADL Models Using UPPAAL. - Fernando Silvano Goncalves; David Pereira; Eduardo Tovar; Leandro Buss Becker (SBESC, 2017)

Applying Integrated Formal Methods on CPS Design. - Henrique Amaral Misson; Fernando Silvano Gonçalves; Leandro Buss Becker (SBESC, 2019)