Formal Specification of Real-Time Software Systems. An Industrial Example | Publicación