The customizable fault/error model for dependable distributed systems.
scientific article; zbMATH DE number 1857142