New evolutionary models for massive ZZ Ceti stars. I. First results for their pulsational properties, Althaus, L. G., Serenelli, A. M., Córsico, A. H., Montgomery, M. H., 2003, A&A, 404, 593 (pdf)