modified examples in DSL chapter according to the case study