@article{tan2014lease,
  title={A lease based hybrid design pattern for proper-temporal-embedding of wireless CPS interlocking},
  author={Tan, Feng and Wang, Yufei and Wang, Qixin and Bu, Lei and Suri, Neeraj},
  journal={IEEE Transactions on Parallel and Distributed Systems},
  volume={26},
  number={10},
  pages={2630--2642},
  year={2014},
  publisher={IEEE}
}