Formal specification applied to industrial LAN's design | Publicación