Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs (Logical Methods in Computer Science, 2012)