Real-time embedded multithreading : using ThreadX and MIPS /: using ThreadX and MIPS. (2019)