Formal Modeling and Analysis of A Node Reintegration in The Time-Triggered Architecture

Aliouat Zibouda and Ferhat Abbes

Asian Journal of Information Technology 5 ( 7 ): 706 - 711 , 2006