Giachino E. Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / / edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-642-40615-7