Checking system properties via integer programming | Publicación