A verification-driven framework for iterative design of controllers

Publication
Formal Aspects of Computing