Gửi tin nhắn: Logical foundations of cyber-physical systems / André Platzer