Safety Case Driven Development for Medical Devices. - Alejandra Ruiz 001; Paulo Barbosa; Yang Medeiros; Huáscar Espinoza (SAFECOMP, 2015)

A Model for Architecture Centric Development of Automated External Defibrillators. - Edmar C. Gurjao; Paulo Barbosa; Yang Medeiros; Leo Albornoz (SBESC, 2015)