Messagerie Industrielle Temps Réel: Spécification et Prototypage d'une Messagerie Industrielle à Contraintes Temporelles orientée Objets et Composants