GitHub repository: legical/PTATM
Description: Probabilistic Timing Analysis Tool for Multi-core platform.