Barbosa LS, Cerone A, Petrenko A, Shaikh S.? 2010.??Certification of open-source software: A role for formal methods? International Journal of Computer Systems Science and Engineering. :273-281.