Example CRISTAL module for description design and implementation