LSR Projet EDEMOI Elaboration dune DEmarche et doutils pour la MOdélisation Informatique, la validation et la restructuration de réglementations de sûreté