Béatrice Bérard Serge Haddad Mathieu Sassolas Nathalie Sznajder Concurrent Games on VASS with Inhibition. 39-52 2012 CONCUR https://doi.org/10.1007/978-3-642-32940-1_5 conf/concur/2012 db/conf/concur/concur2012.html#BerardHSS12