Safe Numerics
Case Studies
Composition with Other Libraries
Safety Critical Embedded Controller
