Jaroucheh, Zakwan, Liu, Xiaodong, Smith, Sally, "A Software Engineering Framework for Context-Aware Service-Based Processes in Pervasive Environments", , 2025