Exactly Solvable Models : The Road Towards a Rigorous Treatment of Phase Transitions in Finite Systems