Finite Element Modeling Of Pretensioned Concrete Girders: A Methodological Approach With Applications In Large Strands And End Zone Cracking