Media type: E-Article Title: Formal Methods and Software Engineering: The Confinement Problem in the Presence of Faults Contributor: Harrison, William L.; Procter, Adam; Allwein, Gerard Published: Springer Berlin Heidelberg, 2012 Published in: Formal Methods and Software Engineering (2012), Seite 182-197 Language: Not determined DOI: 10.1007/978-3-642-34281-3_15 ISBN: 9783642342806; 9783642342813 ISSN: 0302-9743; 1611-3349 Origination: Footnote: