Text this: Modeling and Verification of Infinite Systems with Resources