Um método para projeto de sistemas embarcados baseado no controle supervisório modular local - Pinotti, Alexandre Junkes (2012)