Automating the addition of fault tolerance with discrete controller synthesis
scientific article; zbMATH DE number 5641454
scientific article