Return to Article Details RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems Download Download PDF