@misc{indiciae5ccb2f5c398c,
  title = {Towards Multidimensional Verification: Where Functional Meets Non-Functional},
  author = {Maksim Jenihhin and Xinhui Lai and Tara Ghasempouri and Jaan Raik},
  year = {2019},
  doi = {10.1109/norchip.2018.8573495},
  url = {https://arxiv.org/abs/1908.00314},
  note = {Source identifier: 1908.00314}
}