Simplification of numeric variables for PLC model checking | Publicación