Studies on time-reversal invariant topological insulators