The design of DARTS: a dynamic debugger for multiprocessor real-time applications | IEEE Conference Publication | IEEE Xplore