Osek Spec Analysis --> task state managment.