Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed
Synthesis of Reactive(1) Designs