Entscheidbarkeit von zeitlich kommunizierenden Automaten