Formal Methods For Components And Objects door