Invia SMS: Analýza vlastností a správania softvérových systémov