High-Confidence Computing 

 -  Elsevier 
<br/><br/><label>ISBN: </label>26672952 2667-2952