Richard Castanet, Ousmane Koné, Patrice Laurençot. On the Fly Test Generation for Real Time Protocols. In Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), October 12-15, 1998, Lafayette, Lousiana, USA. pages 378-387, IEEE, 1998.