Title: The automatic analysis of formal real-time system specications