Annotate State chart diagram with requirements