@book{kirchoff_wanderlust_1991,
	title = {Wanderlust},
	address = {2},
	author = {Mary L. Kirchoff and Steve Winter},
	publisher = {TSR ; Distributed to the book trade in the USA by Random House},
	series = {The meetings sextrent},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/2baf9a7ddfad0ed2edccf3cf883752f18/au7334},
	isbn = {1560761156}, comment = {26256666},
	keywords = {06 2008 813 Jun \% }
}

@inproceedings{vinju_et_al:DSP:2006:426,
	title = {How to make a bridge between transformation and analysis technologies?},
	author = {Jurgen Vinju and James R. Cordy},
	booktitle = {Transformation Techniques in Software Engineering},
	editor = {James R. Cordy and Ralf L{\"a}mmel and Andreas Winter},
	note = {$<$http://drops.dagstuhl.de/opus/volltexte/2006/426$>$ [date of citation:
	2006-01-01]},
	number = {05161},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
	(IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/22455d9d5f2b52914ce66c15fc926a8d7/msn},
	description = {http://drops.dagstuhl.de/portals/index.php?semnr=05161},
	issn = {1862-4405}, optannote = {Keywords: Transformation, analysis, fact extraction, middleware, source
	code representations}, opturl = {http://drops.dagstuhl.de/opus/volltexte/2006/426 [date of citation:
	2006-01-01]}, optaddress = {Dagstuhl, Germany},
	keywords = {cites.ref mrefs state.unclassified }
}

@inproceedings{cordy_et_al:DSP:2006:497,
	title = {05161 Executive Summary -- Transformation Techniques in Software
	Engineering},
	author = {James R. Cordy and Ralf L{\"a}mmel and Andreas Winter},
	booktitle = {Transformation Techniques in Software Engineering},
	editor = {James R. Cordy and Ralf L{\"a}mmel and Andreas Winter},
	note = {$<$http://drops.dagstuhl.de/opus/volltexte/2006/497$>$ [date of citation:
	2006-01-01]},
	number = {05161},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
	(IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/266f8e0771cfb15b0707f391b717c3c73/msn},
	description = {http://drops.dagstuhl.de/portals/index.php?semnr=05161},
	issn = {1862-4405}, optannote = {Keywords: Program transformation, transformational programming, generative
	programming, generative language technology, automated software testing,
	engineering}, opturl = {http://drops.dagstuhl.de/opus/volltexte/2006/497 [date of citation:
	2006-01-01]}, optaddress = {Dagstuhl, Germany},
	keywords = {cites.ref mrefs state.unclassified }
}

@inproceedings{JuSp06,
	title = {Muster f�r die Gesch�ftsprozessmodellierung},
	author = {J�rgen Jung and Jonas Sprenger},
	booktitle = {Proceedings of DW 2006. Integration, Informationslogistik und Architektur.},
	editor = {Joachim Schelp and Robert Winter and Ulrich Frank and Bodo Rieger and Klaus Turowski},
	organization = {Lecture Notes in Informatics},
	pages = {189-204},
	publisher = {Köllen},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2fbd102da783c0f85f4a268d77e651ffb/michael},
	file = {JuSp06.pdf:scans\\JuSp06.pdf:PDF}, review = {Hinweise auf die Nontwendigkeit des Managements von Prozessmustern
	zu deren systematischen Verwendung},
	keywords = {DISS modelling pattern toscan }
}

@inproceedings{conf/gi/BelliBHW07,
	title = {MOTES08 - Modellbasiertes Testen.},
	author = {Fevzi Belli and Christof J. Budnik and Axel Hollmann and Mario Winter},
	booktitle = {GI Jahrestagung (1)},
	crossref = {conf/gi/2008-1},
	editor = {Heinz-Gerd Hegering and Axel Lehmann and Hans Jürgen Ohlbach and Christian Scheideler},
	pages = {173-174},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/gi/gi2008-1.html#BelliBHW07},
	volume = {133},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2677fbb23d500fe5174732d325ee2729d/dblp},
	description = {dblp},
	date = {2008-08-07}, isbn = {978-3-88579-227-7},
	keywords = {dblp }
}

@inproceedings{conf/gi/KnaupMLW07,
	title = {Gesundheitstelematik und elektronische Gesundheitskarte.},
	author = {Petra Knaup and Christian Mauro and Jan Marco Leimeister and Alfred Winter},
	booktitle = {GI Jahrestagung (1)},
	crossref = {conf/gi/2008-1},
	editor = {Heinz-Gerd Hegering and Axel Lehmann and Hans Jürgen Ohlbach and Christian Scheideler},
	pages = {51-52},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/gi/gi2008-1.html#KnaupMLW07},
	volume = {133},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/273fe474f9189d17ed22a253174b6079e/dblp},
	description = {dblp},
	date = {2008-08-07}, isbn = {978-3-88579-227-7},
	keywords = {dblp }
}

@article{journals/fuin/Winter08,
	title = {A Relation-Algebraic Theory of Bisimulations.},
	author = {Michael Winter},
	journal = {Fundam. Inform.},
	number = {4},
	pages = {429-449},
	url = {http://dblp.uni-trier.de/db/journals/fuin/fuin83.html#Winter08},
	volume = {83},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2cd572c5779fffa71000ae272d06b4e8c/dblp},
	description = {dblp},
	ee = {http://iospress.metapress.com/content/b56q30rm75271678/}, date = {2008-08-06},
	keywords = {dblp }
}

@inproceedings{conf/models/FavreGLW07,
	title = {4th International Workshop on Language Engineering (ATEM 2007).},
	author = {Jean-Marie Favre and Dragan Gasevic and Ralf Lämmel and Andreas Winter},
	booktitle = {MoDELS Workshops},
	crossref = {conf/models/2007w},
	editor = {Holger Giese},
	pages = {28-33},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/models/models2007w.html#FavreGLW07},
	volume = {5002},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2033cde25f245f500eea1be80aca16278/dblp},
	description = {dblp},
	date = {2008-08-04}, ee = {http://dx.doi.org/10.1007/978-3-540-69073-3_4}, isbn = {978-3-540-69069-6},
	keywords = {dblp }
}

@inproceedings{sadilek07prototypingDsls,
	title = {{Prototyping Domain-Specific Languages for Wireless Sensor Networks}},
	author = {Daniel A. Sadilek},
	booktitle = {{ATEM 07: 4th International Workshop on Software Language Engineering}},
	editor = {Jean-Marie Favre and Dragan Gasevic and Ralf L{\"a}mmel and Andreas Winter},
	month = {October},
	number = {4},
	pages = {76--90},
	publisher = {Johannes Gutenberg Universit{\"a}t Mainz},
	series = {Mainzer Informatik-Berichte},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/21e2ad82983cd44e4d3dbc5f280d9c785/markus.scheidgen},
	keywords = {collegues thesis }
}

@article{Koesters2001,
	title = {Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications},
	author = {Georg K{\"o}sters and Hans-Werner Six and Mario Winter},
	journal = {Requir. Eng.},
	number = {1},
	pages = {3-17},
	volume = {6},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2e1527a0313d851fe11d7bef3d21b8612/ist_spl},
	description = {DBLP Record 'journals/re/KostersSW01'},
	abstract = {In many applications, especially from the business
domain, the requirements specification mainly deals
with use cases and class models. Unfortunately, these
models are based on different modelling techniques and
aim at different levels of abstraction, such that serious
consistency and completeness problems are induced. To
overcome these deficiencies, we refine activity graphs to
meet the needs for a suitable modelling element for use
case behaviour. The refinement in particular supports
the proper coupling of use cases via activity graphs and
the class model. The granularity and semantics of our
approach allow for a seamless, traceable transition of
use cases to the class model and for the verification of
the class model against the use case model. The
validation of the use case model and parts of the class
model is supported as well. Experience from several
applications has shown that the investment in specification,
validation and verification not only pays off during
system and acceptance testing but also significantly
improves the quality of the final product.},
	ee = {http://link.springer.de/link/service/journals/00766/bibs/1006001/10060003.htm}, bibsource = {DBLP, http://dblp.uni-trier.de},
	keywords = {UML Use-Cases activity class diagrams engineering model requirements testing }
}