Symbolic Simulation of Hybrid Systems Ralph-Johan Back Cristina Cerschi Seceleanu Jan Westerholm Turku Centre for Computer Science TUCS Technical Reports No 503, January 2003