Software model checking takes off
S. Miller, M. Whalen, D. Cofer
Communications of the ACM, 2010
A translator framework enables the use of model checking in complex avionics systems and other industrial settings.