Linguaggio Naturale Controllato per la specifica di sistemi di automazione: definizione