"Mining Environment Assumptions for Cyber-Physical System Models."

Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics