Aditional wording improvement to ensure that SharedTimedMutexType refine TimedMutexType