Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs | Publicación