published in 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems Journal