Thomas A. Henzinger, Zohar Manna, and Amir Pnueli
We propose a formal framework for designing hybrid systems by stepwise refinement. Starting with a specification in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system.
In Hybrid Systems I, Lecture Notes in Computer Science 736, Springer, 1993, pp. 60-76.