Dependable Distributed Objects