A Formal Description Of Hybrid Systems