Formal Methods: Foundations and Applications - Iyoda, Juliano; de Moura, Leonardo (Springer Berlin Heidelberg, 2013)