Perspectives Of System Informatics by D. Bjorner, A. Zamulin & M. Broy