Αποστολή με SMS: Verification of Object-Oriented Software. The KeY Approach