Reliability analysis for complex industrial real-time systems: application on an antilock brake system. - Fabrice Guérin; Alexis Todoskoff; Mihaela Barreau; Jean-Yves Morel; Alin Mihalache; Bernard Dumon (SMC (2), 2002)