so zB
http://www.ece.umd.edu/~msquared/rtas2000.pdf

arbeitet mit ner Zustandsmaschine