publication venue for Towards specification, modelling and analysis of fault tolerance in self managed systems 2006