How Can Formalization of SOA Help in Finding Solutions for IT Systems. - Zdenek Skrivanek; Karel Richta (DATESO, 2013)