http://developer.mbed.org/users/mbed_official/code/mbed-rtos/#02f5cf381388