A temporal programming model with atomic blocks based on projection temporal logic
scientific article; zbMATH DE number 6995606
scientific article