M. P. Bodlaender, A. H. L. Raemaekers, P. D. V. van der Stok
TRAnD: Temporal Requirement Analysis and Design Tool
SAC, 2000.
@inproceedings{SAC-2000-BodlaenderRS, author = "M. P. Bodlaender and A. H. L. Raemaekers and P. D. V. van der Stok", booktitle = "{Proceedings of the 15th Symposium on Applied Computing}", pages = "882--886", publisher = "{ACM}", title = "{TRAnD: Temporal Requirement Analysis and Design Tool}", volume = 2, year = 2000, }