Figure: The languages used in TIMe models