Combating Run-time Performance Bugs with Performance Claim Annotations. - Zachery Casey; Michael D. Shah (Softwaretechnik-Trends, 2020)