@article{Giachetti201741,
title = "Verifying goal-oriented specifications used in model-driven development processes ",
journal = "Information Systems ",
volume = "64",
number = "",
pages = "41 - 62",
year = "2017",
note = "",
issn = "0306-4379",
doi = "http://dx.doi.org/10.1016/j.is.2016.06.011",
url = "http://www.sciencedirect.com/science/article/pii/S0306437915300478",
author = "Giovanni Giachetti and Beatriz Marín and Lidia López and Xavier Franch and Oscar Pastor",
keywords = "Model-driven development",
keywords = "Verification approach",
keywords = "Goal-oriented requirements",
keywords = "i* framework "
}