Formal Methods for Components and Objects - Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M. (Springer Berlin Heidelberg, 2013)