André Platzer (2018) ‘Logical Foundations of Cyber-Physical Systems’, Springer Science+Business Media. oai:ais:library-item:18880