@inbook{148b0ba37eef4882984b50800680ce00,
title = "Adaptive Autonomous Systems – From the System{\textquoteright}s Architecture to Testing",
author = "Franz Wotawa",
year = "2012",
language = "English",
isbn = "978-3-642-34780-1",
volume = "336",
series = "Communications in Computer and Information Science",
publisher = "Springer",
pages = "76--90",
editor = "Reiner H{\"a}hnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification, and Validation",
}