@Inproceedings{EPTCS105.1, author = {Huuck, Ralf}, year = {2012}, title = {Formal Verification, Engineering and Business Value}, editor = {\"Olveczky, Peter Csaba and Artho, Cyrille}, booktitle = {{\rm Proceedings First International Workshop on} Formal Techniques for Safety-Critical Systems, {\rm Kyoto, Japan, November 12, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {105}, publisher = {Open Publishing Association}, pages = {1-4}, doi = {10.4204/EPTCS.105.1}, }