@article{GrabowskiPlatteHedrichetal.2006,
  author    = {Darius Grabowski and Daniel Platte and Lars Hedrich and Erich Barke},
  title     = {Time constrained verification of analog circuits using model-checking algorithms},
  journal   = {Electronic notes in theoretical computer science},
  volume    = {153},
  number    = {3},
  pages     = {37 -- 52},
  doi       = {10.1016/j.entcs.2006.01.026},
  year      = {2006},
}