@inproceedings{SchoellerWM04, author = {Bernd Schoeller and Tobias Widmer and Bertrand Meyer}, title = {Making Specifications Complete Through Models}, booktitle = {Architecting Systems with Trustworthy Components}, year = {2004}, pages = {48-70}, urltopdf = {http://dx.doi.org/10.1007/11786160_3} }