Formal Methods for Components and Objects - Boer, Frank S. (Springer Berlin Heidelberg, 2007)