Desenvolvimento formal de aplicações para smartcards - Gomes, Bruno Emerson Gurgel (2012)