Formal Verification of Complex Properties on PLC Programs | Publicación