Drupal-Bibcite31<style face="normal" font="default" size="100%">Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level</style><style face="normal" font="default" size="100%">Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level</style>