Customizing dependability attributes for mobile service platforms | IEEE Conference Publication | IEEE Xplore