HSCC 2000 (2000 Pittsburgh, Pa.)

• Hybrid systems