Modelling and Formal Verification of Timing Aspects in Large PLC Programs | Publicación