Interactive specification and verification of behavioral adaptation contracts | Publicación