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

Desmet, DirkDirkDesmetEsvelt, MichielMichielEsveltAvasare, PrabhatPrabhatAvasareVerkest, DiederikDiederikVerkestDe Man, HugoHugoDe Man2021-10-062021-10-061999https://imec-publications.be/handle/20.500.12860/3411Timed executable system specification of an ADSL modem using a C++ based design environment: a case studyProceedings paper