R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen:
"Leveraging Applications of Formal Methods, Verification, and Validation: SARS 2011, MLSC 2011 (CICS 336)";
in series "Communications in Computer and Information Science", series editor: R. Hähnle, J. Knoop, T. Margaria, D. Schreiner, B. Steffen; Springer, Heidelberg, 2012, ISBN: 978-3-642-34780-1, 276 pages.