Book

Dependable Software Engineering. Theories, Tools, and Applications

by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang