The ThingML modelling language  http://www.thingml.org