Experimenting Object-Oriented System-Level Design in the ATM domain