The sample application used in the 'Engineering Long Lasting Software' textbook and UC-Berkeley's CS 169 course.