Formal Methods for Components and ObjectsBernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue₹5,595