A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. - Lucas C. Cordeiro; Carlos Mar; Eduardo Valentin; Fabiano Cruz; Daniel Patrick; Raimundo S. Barreto; Vicente Lucena (ECBS, 2008)

An agile development methodology applied to embedded control software under stringent hardware constraints. - Lucas C. Cordeiro; Carlos Mar; Eduardo Valentin; Fabiano Cruz; Daniel Patrick; Raimundo S. Barreto; Vicente Lucena (ACM SIGSOFT Softw. Eng. Notes, 2008)

Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application. - Andrea Scarinci; Amanda Quilici; Danilo Ribeiro; Felipe Oliveira; Daniel Patrick; Nancy G. Leveson (J. Aerosp. Inf. Syst., 2019)