Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security, Paperback/Corina S. Păsăreanu