Specifying bridges for separated concern | IEEE Conference Publication | IEEE Xplore