Report: Adding state diagram figure