Text this: On the Modeling of Sequential Reactive Systems by Means of Real Time Automata