Example for a correct sleep using rtx5 and BLE

Using stm32wb55 (P-NUCLEO-WB55) with rtx5 RTOS.
As ST provides examples for FreeRTOS only, I am looking for a tickless sleep example for rtx5 RTOS, preferably one that has BLE as well.

The example I am referring to is BLEHeartRateFreeRTOS provided here: