Formal Methods for Components and Objects - Giachino (Springer Berlin Heidelberg, 2013)