Wyślij wiadomość: Automated Model−Based Verification of Object−Oriented Code