Integrated Formal Methods - Albert (Springer International Publishing, 2014)