Our lab is a very exciting place to learn and work!
There has been a lot of work on Clafer going on recently. First of all, we released a technical report about the language. It introduces Clafer's syntax and semantics, shows how to construct a sample feature-based template model, and then instantiate it in the Alloy Analyzer. More technical aspects of Clafer can be found in the CS 846 project report [PDF].
Right now, we are evaluating Clafer on publicly available examples of feature models, meta-models and feature-based model templates. Some of the models are available in the SPLOT and SXFM formats. If you want to play with Clafer, don't miss the tools: splot2clafer and ecore2clafer!