Modelli per la programmazione del trasporto pubblico locale: applicazione ad un caso reale