The Crescendo technology can be found at the Crescendo technology home page. This also include slide material from a one day tutorial delivered at the Formal Methods 2014 symposium. The actual book can be fetched from Springers web site.
In section 3.4.12 the last line of the first paragraph should say “flow-out” instead of “effort-out”.
In line 3 from the bottom “ldots” should be “…”
In the first line of section 5.6.1 is should say “We start here by”