Kroening, D., Lewis, M., Weissenbacher, G., & Bjørner, N. (2015). Proving safety with trace automata and bounded model checking. Springer.

Kroening, D., M. Lewis, G. Weissenbacher, and N. Bjørner. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.

Kroening, D., et al. Proving Safety with Trace Automata and Bounded Model Checking. Springer, 2015.