Modeling and Verification of Infinite Systems with Resources (Logical Methods in Computer Science, 2013)