First half of digest of hybrid systems survey

During the past week Adam worked on a digest of the Languages and Tools for Hybrid System Design survey. He covered the simulation tools and languages and during the coming weeks aims to cover verification tools as well as the comparative study part of the survey.