SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata