SARA: A tool for service levels — Aware contracts | IEEE Conference Publication | IEEE Xplore