Techniques industrielles de modélisation formelle pour le transport - Jean-Louis Boulanger