Added abstract info in the formalization overview section.