"VeriPhy: verified controller executables from verified cyber-physical ..."

Brandon Bohrer et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics