Cockx, JohanJohanCockx2021-10-062021-10-061999https://imec-publications.be/handle/20.500.12860/3304Executable system modeling with C++ and TIPSYProceedings paper