High Level Tools for the Debugging of Real-Time Multiprocessor Systems | IEEE Conference Publication | IEEE Xplore