@InProceedings{Kloukinas01, author = {Kloukinas, Christos and Issarny, {Val\'{e}rie}}, title = "{\textsc{Spin}-ning Software Architectures: A Method for Exploring Complex Systems}", booktitle = "{Working IEEE/IFIP Conference on Software Architecture (WICSA2001)}", pages = {10}, year = {2001}, address = {Amsterdam, The Netherlands}, month = aug, note = {Also available from \url{http://www-rocq.inria.fr/solidor/doc/doc.html}}, conf-URL = {\url{http://www.cs.vu.nl/WICSA2001/}}, }