Formal modelling and simulation of a multi-agent nano-robotic drug delivery system | Publicación