Services must be dependable if they are to deliver the benefit that justifies the cost of deploying them. Services must be sufficiently dependable for their purpose, but no more costly than is necessary to achieve that level of dependability. This document describes some work on identifying programming concepts that can be exploited to reduce the cost of dependable systems. This includes both t...