Leveraging applications of formal methods, verification, and validation International Workshops, SARS 2011 and MLSC 2011 : held under the auspices of ISoLa 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers / - Hähnle, Reiner. (Springer,, 2012)