ClawZ: Cost-Effective Formal Verification for Control Systems. - M. M. Adams; Philip B. Clayton (ICFEM, 2005)