Leveraging Applications of Formal Methods, Verification, and Validation - Anna-Lena Lamprecht (Springer, 2016)