Contracts and Middleware for Safe SOA Applications | IEEE Conference Publication | IEEE Xplore