Micromechanical modeling of crack propagation in TBC systems | IEEE Conference Publication | IEEE Xplore