Timed executable system specification of an ADSL modem using a C++ based design environment: a case study. - Dirk Desmet; Michiel Esvelt; Prabhat Avasare; Diederik Verkest; Hugo De Man (CODES, 1999)