Invia SMS: Statická analýza konštrukcie s použitím MKP