Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads (Logical Methods in Computer Science, 2011)