Context-Bounded Analysis of Concurrent Programs (Invited Talk)