Hellfire: A design framework for critical embedded systems' applications. - Alexandra Aguiar; Sergio Johann Filho; Felipe G. Magalhaes; Thiago D. Casagrande; Fabiano Hessel (ISQED, 2010)