Formal Verification of Real-Time Embedded Software for Multicore Platforms