Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
ACM Digital Library