Επαλήθευση Συστημάτων Πραγματικού Χρόνου: Πειραματική Σύγκριση των Μοντέλων Διακριτού και Συνεχούς Χρόνου