Title: Verfahren zur rechnerunterstützten Untersuchung zeitlicher Abläufe in Entwurfsspezifikationen