@entry{bou-mim-str-14-aa,
  author = {O Bouissou and S Mimram and B Strazzulla...},
  title = {Set-based simulation for design and verification of simulink models},
  journal = {... Real Time Software ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2014,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://hal.archives-ouvertes.fr/hal-01290286/}}},
  quotes = {... We can adapt the previous algorithm to deal with uncertainties using affine arithmetic for ... In Case c, due to the pessimism of the affine arithmetic, we may detect some spurious ...}
}