Verifying Bigraphical Models of Architectural Reconfigurations | IEEE Conference Publication | IEEE Xplore