In: Avizienis, A.; Kopetz, H.; Laprie, J.: Dependable Computing and Fault-Tolerant Systems, Vol. 4: Dependable Computing for Critical Applications, pages 215-237. Springer-Verlag, 1991.
Abstract: Theory behind reward variable specification, as implemented in UltraSAN. This paper lays the foundation for specifying performance, dependability, and performability variables as SAN-based reward variables, and it gives examples of specification of variables of each type.