Author: Hybrid and Real-Time Systems (Workshop) (1997 Grenoble, France)