Generating software from specifications - Kastens, Uwe; Author (2008)