W J. Quirk

• The automatic analysis of formal real-time system specications