Wei Dong, Jean-Pierre Talpin Dependable Software Engineering. Theories, Tools, and Applications - Springer Springer 2022 ISBN: 9783031212130 Source: EBOOK