A Model-Driven CASE tool for developing and verifying regulated open MAS | Publicación