Kalinka BrancoCommunication in Critical Embedded Systems: First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, ... in Computer and Information Science)