Design of WorldFIP's industrial communication systems based on formal methods | Publicación