Text this: Špecifikácia a verifikácia časovania v číslicových systémoch