Media type: E-Article Title: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: Risk-Based Testing Contributor: Felderer, Michael; Wendland, Marc-Florian; Schieferdecker, Ina imprint: Springer Berlin Heidelberg, 2014 Published in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Language: Not determined DOI: 10.1007/978-3-662-45231-8_19 ISSN: 0302-9743; 1611-3349 Origination: Footnote: