On the design of integrated modular avionics assisted by formal modeling. - Fabiano Costa Carvalho (2009)