Perspectives of System Informatics - BjÃ¸rner; Virbitskaite, Irina; Voronkov, Andrei (Springer International Publishing, 2019)