@misc{indiciae2d246dd51788,
  title = {Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems},
  author = {Ginju V. George and Aritra Hazra and Pallab Dasgupta and Partha Pratim Chakrabarti},
  year = {2020},
  url = {https://arxiv.org/abs/2005.00995},
  note = {Source identifier: 2005.00995}
}