A strategy for the formal composition of frameworks | IEEE Conference Publication | IEEE Xplore