@article{ammar2013symmetry,
  title         = {Symmetry Reduction of Time-Triggered Ethernet Protocol},
  author        = {Ammar, Marwan and Ouchani, Samir and Mohamed, Otmane A{\"\i}t},
  journal       = {Procedia Computer Science},
  volume        = {19},
  pages         = {273--280},
  year          = {2013},
  publisher     = {Elsevier}
}