Text this: Reasoning About Bounds in Weighted Transition Systems