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