Managing Configurable Business Process as a Service to Satisfy Client Transactional Requirements
Temporal and Modal Logic