✓

@Book{            Navet:2008:MVR:1817127,
  Author        = "Navet, Nicolas and Merz, Stephan",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "1st",
  ISBN          = "1848210132, 9781848210134",
  Publisher     = "Wiley-IEEE Press",
  Title         = "Modeling and Verification of Real-time Systems",
  Year          = "2008",
  File          = "[]\_Modeling\_and\_Verification\_of\_Real-Time\_Systems\_(z-lib.org) (0) (0) - a - a.pdf"
}

@Book{ Navet:2008:MVR:1817127, Author = "Navet, Nicolas and Merz, Stephan", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "1st", ISBN = "1848210132, 9781848210134", Publisher = "Wiley-IEEE Press", Title = "Modeling and Verification of Real-time Systems", Year = "2008", File = "[]_Modeling_and_Verification_of_Real-Time_Systems_(z-lib.org) (0) (0) - a - a.pdf" }