@misc{indiciaeaa27aa8db427,
  title = {Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications},
  author = {Antoine El-Hokayem and Yliès Falcone},
  year = {2019},
  url = {https://arxiv.org/abs/1808.05487},
  note = {Source identifier: 1808.05487}
}