Incremental specification with SCTL/MUS-T: a case study | Publicación