TRAnD: Temporal Requirement Analysis and Design Tool.

M. P. Bodlaender, A. H. L. Raemaekers, P. D. V. van der Stok

Browse the full SAC paper archive.