Diagnosis of Inconsistency in Contracts using Design by Contract | Publicación