Stepwise refinement of sequence diagrams with soft real-time constraints

Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen. Stepwise refinement of sequence diagrams with soft real-time constraints. J. Comput. Syst. Sci., 81(7):1221-1251, 2015. [doi]

Abstract

Abstract is missing.