Ralf H. Reussner: Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. SOFSEM 2002: 20-40