FM 2008: Formal Methods - Cuellar, Jorge (Springer Berlin Heidelberg, 2020)