Dependable computing system evaluation criteria: SQUALE proposal | IEEE Conference Publication | IEEE Xplore