Scoot: A Tool for the Analysis of SystemC Models - Blanc, N; Kroening, D; Sharygina, N (Springer, 2008)