Analýza vlastností a správania softvérových systémov - Račko, Richard (2016)