AFRODITE stands for Applying Formal Methods to Real-size Object-Oriented Designs in Technical Environments