Context-Bounded Analysis of TSO Systems