@inproceedings{van2003,
title = {From System Goals to Software Architecture},
address = {Bertinoro, Italy},
author = {Axel van Lamsweerde},
booktitle = {School on Formal Methods},
editor = {M. Bernardo and P. Inverardi},
pages = {25--43},
publisher = {Springer-Verlag},
url = {http://www.cs.toronto.edu/~nernst/papers/vanlamsweerde03sfm.pdf},
volume = {LNCS 2804},
year = {2003},
description = {sdasda},
comment = {http://wordpress.neilernst.net/index.php?p=3}, citeulike-article-id = {120139}, priority = {0},
keywords = {1406 architecture goal requirements }
}
::