CSP−based counter abstraction for systems with node identifiers - Mazur, T; Lowe, G (2013)