This page contains the telematics example introduced in our technical report Feature and Class Models in Clafer: Mixed, Specialized, and Coupled.
The example is also available on the Clafer Model Wiki.