ThingML extra