https://1library.org/fr2/docs/sécurité-systèmes-ferroviaires-décomposition-fonctionnelle-modèle-comportemental.464305