Engineering of trustworthy smart grids implementing service level agreements | IEEE Conference Publication | IEEE Xplore