@inbook{01f86c842c044a37a03524713159b020,
title = "Design for Verifiability: The OCS Case Study",
keywords = "Feature-based systems, Internet and online services, User model, Verifiability design, OCS applications",
author = "Johannes Neubauer and Tiziana Margaria and Bernhard Steffen",
year = "2012",
month = nov,
day = "29",
doi = "10.1002/9781118459898.ch8",
language = "English",
isbn = "9780470876183",
pages = "151--177",
booktitle = "Formal Methods for Industrial Critical Systems",
publisher = "John Wiley and Sons",
}