Ore eccedenti non pagate

Buongiorno a tutti,
Quest'anno ho svolto 3 ore settimanali eccedenti l'orario di cattedra (sono di ruolo) e, benché sia abbastanza sicuro che vadano pagate anche a luglio e agosto in base a una sentenza recente, vedo che nel cedolino di luglio non le hanno messe. Come devo muovermi per farmele riconoscere?
Grazie a chi saprà rispondermi.

Scusate, rileggendo la sentenza ho notato che lì si parla di ore nell'organico di diritto mentre le mie erano in OF. Probabilmente mi sono risposto da solo, ma magari qualcuno ha informazioni più complete.

Per il Miur tutte le ore eccedenti NON vanno mai pagate oltre il 30 Giugno a meno che non si tratti di una cattedra istituzionale (cioè, ad esempio, di 19 ore già in organico per impossibilità di strutturare diversamente l'organico). 
Quindi per il pagamento di Luglio e Agosto, come hai visto, devi rivolgerti in tribunale.