Logical foundations of cyber-physical systems / André Platzer - Platzer, André
Includes bibliographical references (pages 651-652) and index.