Formalizing incremental design in real-time area: SCTL/MUS-T | Publicación