Verified Software. Theories, Tools, and Experiments - Sandrine Blazy, Marsha Chechik (Springer, 2016)