Timed executable system specification of an ADSL modem using a C++ based design environment: a case study.