Project 2: Annotated Systems Models