Logical foundations of cyber-physical systems / 
[edited by] Andre Platzer. 
 - pages cm -
<br/><br/><br/>English 
<br/><br/>                 <label>ISBN: </label>9783319635873 (alk. paper) 
<br/><br/><label>LCCN: </label>2018946565