Toward Practical Formal Analysis of Flight Control Systems in a Model-Based Development Environment Download Tags: HCSS 2009 Lockheed Martin Presentation Industry HCSS '09 License: CC-2.5 Submitted by Timothy Thimmesch on Fri, 07/01/2011 - 09:30