Timed executable system specification of an ADSL modem using a C++ based design environment: A case study | IEEE Conference Publication | IEEE Xplore