Lehr, J., Hück, A., & Bischof, C. PIRA: Performance Instrumentation Refinement Automation (Version 0.4.0) [Computer software]. https://doi.org/10.1145/3281070.3281071