Towards Automated Comprehension and Alignment of Cardiac Models at the System Invariant Level