Characterizing a rupture-prone mouse model of aortic aneurysm: the road to post-mortem validation of AAA rupture risk predicted by biomechanical computational models