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