An industrial experience on LOTOS-based prototyping for switching systems design | Publicación