Security-by-Contract (S×C) for Software and Services of Mobile Systems | part of At Your Service: Service-Oriented Computing from an EU Perspective | MIT Press books | IEEE Xplore