Modelling and analyzing adaptive self-assembly strategies with Maude