Efficient Software Tools For Control And Analysis Of Hybrid Systems