Finding Safety-Critical Causes of Mode Confusion Using Model Checking Download pdf Tags: model checking mode confusion specification 1545126 2019 CPS PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Cynthia Sturton on Fri, 01/10/2020 - 14:45