Text this: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs