@inproceedings{ArmengaudSteiningerHorauer2005, author = {Eric Armengaud and Andreas Steininger and Martin Horauer}, title = {Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example}, booktitle = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy}, pages = {763 -- 770}, year = {2005}, }