Title: Ensuring correctness of object and component systems