Formalizing incremental design in real-time area: SCTL/MUS-T | IEEE Conference Publication | IEEE Xplore