@book{LiggesmeyerRombach2005,
	title = {{Software-Engineering eingebetteter Systeme: Grundlagen -- Methodik
	-- Anwendungen}},
	address = {Heidelberg},
	editor = {Peter Liggesmeyer and Dieter Rombach},
	publisher = {Spektrum},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2b3aa0913976b91d2c32341a3785e9174/flint63},
	abstract = {Dieses Lehr- und Praxisbuch bietet eine umfassende Darstellung von
	Techniken, Methoden und Standards der Software-Entwicklung eingebetteter
	Systeme. Der interdisziplinäre Charakter der Entwicklung von
	eingebetteten Systemen und die speziellen Rahmenbedingungen beeinflussen
	die Software-Entwicklung: Software Engineering für eingebettete
	Systeme unterscheidet sich vom \emph{konventionellen} Software Engineering.
	Dies betrifft die Prozesse --- insbesondere die Entwicklungsphasen
	und ihre Inhalte --- ebenso wie anzuwendende Standards, die Beachtung
	spezieller Betriebsumgebungen, den Aspekt der Verteiltheit und die
	Existenz von Sicherheits-, Zuverlässigkeits- und Echtzeitanforderungen.
	Darüber hinaus unterscheiden sich die Anforderungen und Rahmenbedingungen
	in den Anwendungsbereichen eingebetteter Systeme deutlich. Das Buch
	stellt sowohl die Methodik der Software-Entwicklung für eingebettete
	Systeme umfassend dar, als auch die speziellen Aspekte wichtiger
	Anwendungsbereiche, z.B. Verkehrssysteme, Medizintechnik, Industrieautomation
	und Telekommunikationssysteme. Neben dem Stand der Wissenschaft wird
	der Stand der Praxis ausführlich dargestellt. Die Autoren der
	Beiträge sind sowohl Wissenschaftler als auch Entwickler, Projektleiter
	und Qualitätssicherer aus Industrieunternehmen. Daher richtet
	sich das Buch gleichermaßen an Praktiker, die an der Entwicklung
	eingebetteter Systeme oder der Entwicklung von Software für eingebettete
	Systeme beteiligt sind, wie an Dozenten und Studierende der Informatik
	und der Ingenieurwissenschaften.},
	timestamp = {2008.01.20}, isbn = {3-827-41533-0}, owner = {flint},
	keywords = {book development embedded engineering software v0805 }
}

@incollection{Grimm05p407,
	title = {{Software-Technologie im Automobil}},
	address = {Heidelberg},
	author = {Klaus Grimm},
	booktitle = {{Software-Engineering eingebetteter Systeme}},
	chapter = {16},
	editor = {Peter Liggesmeyer and Dieter Rombach},
	pages = {407-430},
	publisher = {Spektrum},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/21014a2e99d82707581f7c8b448ca9436/flint63},
	timestamp = {2008.01.20}, isbn = {3-827-41533-0}, owner = {flint},
	keywords = {development embedded engineering paper software traffic v0805 }
}

@incollection{AchatzLoewen05p497,
	title = {{Industrieautomation}},
	address = {Heidelberg},
	author = {Reinhold Achatz and Ulrich Löwen},
	booktitle = {{Software-Engineering eingebetteter Systeme}},
	chapter = {16},
	editor = {Peter Liggesmeyer and Dieter Rombach},
	pages = {497-525},
	publisher = {Spektrum},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2325c1addbbd360c13dd6ad53768a914a/flint63},
	timestamp = {2008.01.20}, isbn = {3-827-41533-0}, owner = {flint},
	keywords = {development embedded engineering factory paper software v0805 }
}

@inproceedings{conf/se/DorrL08a,
	title = {2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.},
	author = {Jörg Dörr and Peter Liggesmeyer},
	booktitle = {Software Engineering (Workshops)},
	crossref = {conf/se/2008w},
	editor = {Walid Maalej and Bernd Brügge},
	pages = {449-450},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/se/se2008w.html#DorrL08a},
	volume = {122},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/26163020dc50c1714459a2920518bf418/dblp},
	description = {dblp},
	date = {2008-05-28}, isbn = {978-3-88579-216-1},
	keywords = {dblp }
}

@inproceedings{conf/se/DorrL08,
	title = {2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.},
	author = {Jörg Dörr and Peter Liggesmeyer},
	booktitle = {Software Engineering},
	crossref = {conf/se/2008},
	editor = {Korbinian Herrmann and Bernd Brügge},
	pages = {300-301},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/se/se2008.html#DorrL08},
	volume = {121},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2904c679de8f25fa9b3683f704c88b966/dblp},
	description = {dblp},
	date = {2008-05-28}, isbn = {978-3-88579-215-4},
	keywords = {dblp }
}

@inproceedings{conf/se/WagnerBDML08,
	title = {Software-Qualitätsmodellierung und -bewertung.},
	author = {Stefan Wagner and Manfred Broy and Florian Deißenböck and Jürgen Münch and Peter Liggesmeyer},
	booktitle = {Software Engineering},
	crossref = {conf/se/2008},
	editor = {Korbinian Herrmann and Bernd Brügge},
	pages = {295-297},
	publisher = {GI},
	series = {LNI},
	url = {http://dblp.uni-trier.de/db/conf/se/se2008.html#WagnerBDML08},
	volume = {121},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/218ad086bc13fa8b34456b730a16918b6/dblp},
	description = {dblp},
	date = {2008-05-28}, isbn = {978-3-88579-215-4},
	keywords = {dblp }
}

@article{journals/sigsoft/Robinson-MallettLMG05,
	title = {Generating optimal distinguishing sequences with a model checker.},
	author = {Christopher Robinson-Mallett and Peter Liggesmeyer and Tilo Mücke and Ursula Goltz},
	journal = {ACM SIGSOFT Software Engineering Notes},
	number = {4},
	pages = {1-7},
	url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft30.html#Robinson-MallettLMG05},
	volume = {30},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/259087c707ec5c23173a0ebe3894a5e1d/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1082983.1083283}, date = {2008-05-08},
	keywords = {dblp }
}

@article{journals/sigsoft/BauerHLR05,
	title = {A flexible integration strategy for in-car telematics systems.},
	author = {Thomas Bauer and Jens Herrmann and Peter Liggesmeyer and Christopher Robinson-Mallett},
	journal = {ACM SIGSOFT Software Engineering Notes},
	number = {4},
	pages = {1-7},
	url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft30.html#BauerHLR05},
	volume = {30},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2c6a708c68371e45e38fc993788d21c7c/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1082983.1083194}, date = {2008-05-08},
	keywords = {dblp }
}

@book{Liggesmeyer2002,
	title = {Software-Qualität: Testen, Analysieren und Verifizieren von Software},
	author = {Peter Liggesmeyer},
	note = {MR: Wertvoll ist die Klassifikation und Beschreibung der SW-Prüftechniken unterteilt u.a. in funktionsorientierte (spezifikationsbasierte) und strukturierte (codebasierte).},
	publisher = {Spektrum Akademischer Verlag},
	url = {http://www.amazon.de/gp/redirect.html%3FASIN=3827411181%26tag=ws%26lcode=xm2%26cID=2025%26ccmID=165953%26location=/o/ASIN/3827411181%253FSubscriptionId=13CT5CVB80YFWJEPWS02},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2b93059312c64059636d8e86a53733125/ist_spl},
	ean = {9783827411181}, asin = {3827411181}, isbn = {3827411181},
	keywords = {fundamentals software testing }
}

@article{journals/sigsoft/Robinson-MallettHL06,
	title = {Achieving communication coverage in testing.},
	author = {Christopher Robinson-Mallett and Robert M. Hierons and Peter Liggesmeyer},
	journal = {ACM SIGSOFT Software Engineering Notes},
	number = {6},
	pages = {1-10},
	url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#Robinson-MallettHL06},
	volume = {31},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2c96c42e91357bb8a4d65b3061e5171b0/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1218776.1218786}, date = {2008-05-07},
	keywords = {dblp }
}