Fail-awareness: An approach to construct fail-safe systems
scientific article; zbMATH DE number 1944905