MathModelica in Modeling of Countercurrent Heat Exchangers | IEEE Conference Publication | IEEE Xplore