Principles of Cyber-Physical Systems - Roy/Das (Cambridge University Press, 2020)