FART MODEL LANGUAGE (FML)