An Introduction to Applied Partial Differential Equations
Towards a HOL Framework for the Deductive Analysis of Hybrid Control Systems