1. HRfCA, http://maude.lcc.uma.es/HRfCA, (accessed September 2015).
2. Verification of a dynamic management protocol for cloud applications;Abid,2013
3. A logical basis for the specification of reconfigurable component-Based systems;Aguirre,2003
4. Specifying and analyzing dynamic software architectures;Allen,1998
5. A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing;Bentea,2013