@book{wolframschulteandjackson2011finding,
author = {, Wolfram Schulte and Jackson, Ethan},
title = {Finding Models in Model-Based Development},
booktitle = {Model Driven Engineering Languages and Systems},
year = {2011},
month = {October},
abstract = {Model-based development focuses on creating and manipulating domain models. We present the formula language and its tool environment for specifying, documenting, and analyzing models.},
publisher = {Springer Berlin Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/finding-models-model-based-development/},
}