Example CRISTAL application for description design and implementation