Lawrence Cabac Till Dörges Michael Duvigneau Daniel Moldt Christine Reese Matthias Wester-Ebbinghaus Agent Models for Concurrent Software Systems. 37-48 2008 MATES http://dx.doi.org/10.1007/978-3-540-87805-6_5 conf/mates/2008 db/conf/mates/mates2008.html#CabacDDMRW08