Dependable Software Engineering. Theories, Tools, and Applications - Wei Dong, Jean-Pierre Talpin (Springer, 2022)