Comparing workflow specification languages: A matter of views
Temporal and Modal Logic