TRAnD: Temporal Requirement Analysis and Design Tool. - M. P. Bodlaender; A. H. L. Raemaekers; P. D. V. van der Stok (SAC (2), 2000)