Tool set implementation for scenario-based multithreading of UML-RT models and experimental validation | IEEE Conference Publication | IEEE Xplore