Formal Modeling for Verifying SCA Dynamic Composition with Event-B | IEEE Conference Publication | IEEE Xplore