@Inproceedings{CondoriFernández17,
author = {Condori-Fernandez N. and Outros},
title = {CoSTest: A tool for Validation of Requirements at Model Level},
booktitle = {Proc. of the 25th IEEE International Requirements Engineering Conference (RE 2017)},
address = {Lisboa},
year = {2017},
pages = {464-467}
}