The famous royals-and-loyals example from the OCL book.
For further information (license, citation, etc.), please look at the README.md of the main directory.