Data-intensive Systems - Tomasz Wiktorski (Springer, 2019)