Enviar por SMS: Verifying bigraphical models of architectural reconfigurations