TITLE : On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics AUTHOR(S) : Massink M, Brambilla M, Latella D, Dorigo M, Birattari M TYPE : Journal article YEAR : 2013 CODE : 215413 *** DO NOT EDIT THIS FILE ***