Tim Beurskens, graduate student Embedded Systems at the Eindhoven University of Technology.
This video provides an interesting inside how Dezyne, a formal methods language and toolset provided by Verum, helped to develop an automatic parking system for Solar Team Eindhoven.