@misc{indiciaecb58b34326b3,
  title = {Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling},
  author = {Felipe R. Monteiro},
  year = {2016},
  doi = {10.1145/2950290.2983979},
  url = {https://arxiv.org/abs/1610.10079},
  note = {Source identifier: 1610.10079}
}