Critical Embedded Systems (CBSEC), Brazilian Conference on