@inproceedings{Kanstren:2009.ddcs,
	author          = {Teemu Kanstrén and Eric Piel and Alberto Gonzalez Sanchez and Hans-Gerhard Gross},
	title           = {Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach},
	booktitle       = {Workshop Design of Dependable Critical Systems},
	year            = {2009},
	editor          = {Achim Wagner},
	pages           = {1-8},
	isbn            = {978-3-00-029877-6},
	location        = {Hamburg, Germany},
	group           = {SE}
}