We shall consider separable C *-dynamical systems (A, G, α) for which the induced action of the group G on the primitive ideal space Prim(A) of the C *-algebra A is free. We shall discuss how the representation theory of the associated crossed product C *-algebra A α G depends on the representation theory of A and the properties of the action of G on Prim(A) and the spectrumÂ. After surveying some earlier results, we shall describe some recent joint work with Astrid an Huef. The main tools are the notion of strength of convergence in orbit spaces and the notions of upper and lower multiplicities for irreducible representations. We apply these ideas to give necessary and sufficient conditions, in terms of A and the action of G, for A α G to be (i) a continuous trace C *-algebra, (ii) a Fell algebra and (iii) a bounded trace C *-algebra. For the case of amenable G, we can apply a result of Leung and Ng to determine when A α G is (iv) a liminal C *-algebra and (v) a Type I C *-algebra. The results in (i) and (iii)-(v) extend some earlier special cases in which the C *-algebra A was assumed to have the corresponding property.