Sanchez A, Barbosa LS, Riesco D.? 2013.??Verifying bigraphical models of architectural reconfigurations. 7th IEEE Symposium on Theoretical Aspects of Software Engineering - TASE. :135-138.