Combining Theoretical and Experimental Techniques to Study Murine Heart Transplant Rejection