This chapter of the help gives several example models in the ADORA language.