Erratum: Modeling and Verifying the Kernel of RTOS - Retraction Notice | RetractBase