case study 1: fix use case diagrams
case-study-1: add section describing how to generate statecharts