Software Defined Systems - Zeng (Springer International Publishing, 2020)