A Perfect Model for Bounded Verification | Publicación