RJCITR
Marsal, G.; Witsch, D.; Denis, B.; Faure, J.-M.; Frey, G.: Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation. Proceedings of the 1st Rencontres des Jeunes Chercheurs en Informatique Temps Réel (RJCITR 2005), pp. 27-30, Nancy, France, Sept. 2005.