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