Formal Methods, Foundations and Applications - Simao (Springer Berlin Heidelberg, 2011)