An Experiment on the Validation of a Speci cation by Heterogeneous Formal Means: the Transit Node