We designed the software for our project using a provided events and services framework. Below are links to pages with the state diagrams for each service, the pseudo code for all services and event checkers, and all of the C files that we used for the project.