Prototype-Based Tests for Hybrid Reactive Systems.

Published in: IEEE International Workshop on Rapid System Prototyping (2003)