Verifying really complex systems: on earth and beyond. - Andreas Kuehlmann; Anjan Bose; David E. Corman; Rob A. Rutenbar; Robert M. Manning; Anna Newman (DAC, 2008)