Title: Formal Verification of Concurrent Embedded Software