✓

@Book{            Platzer:2018,
  Author        = "Platzer, Andr{\'e}",
  date-added    = "2023-04-05 22:31:01 +0200",
  date-modified = "2023-09-01 10:24:23 +0200",
  Edition       = "1st ed.",
  ISBN          = "978-3-319-63587-3,978-3-319-63588-0",
  Publisher     = "Springer International Publishing",
  Title         = "Logical Foundations of Cyber-Physical Systems",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e",
  Year          = "2018",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e",
  File          = "Logical Foundations of Cyber-Physical Systems.pdf"
}

@Book{ Platzer:2018, Author = "Platzer, Andr{\'e}", date-added = "2023-04-05 22:31:01 +0200", date-modified = "2023-09-01 10:24:23 +0200", Edition = "1st ed.", ISBN = "978-3-319-63587-3,978-3-319-63588-0", Publisher = "Springer International Publishing", Title = "Logical Foundations of Cyber-Physical Systems", URL = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e", Year = "2018", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e", File = "Logical Foundations of Cyber-Physical Systems.pdf" }