Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed
Formal methods: state of the art and future directions