Verification of design contracts for cyber-physical system design using evolutionary optimization | Publicación