From Requirements to Java in a Snap - Smialek, Michal (Springer, 2015)