Text this: Formal methods for components and objects :