@misc{indiciae3a8a05dd0dc4, title = {Mining Environment Assumptions for Cyber-Physical System Models}, author = {Sara Mohammadinejad and Jyotirmoy V. Deshmukh and Aniruddh G. Puranic}, year = {2020}, url = {https://arxiv.org/abs/2005.08435}, note = {Source identifier: 2005.08435} }