Realizable temporal logics for web service choreography
scientific article; zbMATH DE number 6618153