Compositional verification of middleware-based software architecture descriptions | IEEE Conference Publication | IEEE Xplore