Categories within Dependable Machine co

Types within Dependable Machine co