Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lafuente, Alberto Lluch and Vandin, Andrea  Modelling and analyzing adaptive self-assembly strategies with Maude.  Science of Computer Programming, 99.  75 - 94.  ISSN 0167-6423      (2015)