UML model-driven detection of performance bottlenecks in Concurrent Real-Time Software | IEEE Conference Publication | IEEE Xplore