Text this: Μοντελοποίηση συστημάτων πραγματικού χρόνου καί εφαρμογές στήν ρομποτική