Text this: Formal Methods for Components and Objects

  ______   __   __   ______     ______    _____   
 /_   _//  \ \\/ // |      \\  /_   _//  |__  //  
   | ||     \ ` //  |  --  //   -| ||-     / //   
  _| ||      | ||   |  --  \\   _| ||_    / //__  
 /__//       |_||   |______//  /_____//  /_____|| 
 `--`        `-`'   `------`   `-----`   `-----`