Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh. Model checking in-the-loop: Finding counterexamples by systematic simulation. In American Control Conference, ACC 2008, Seattle, WA, USA, 11-13 June 2008. pages 2734-2740, IEEE, 2008. [doi]
Abstract is missing.