Alexandre Donzé. BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract). In Sebastian Steinhorst, Jyotirmoy V. Deshmukh, editors, 2nd International Workshop on Autonomous Systems Design, ASD 2020, March 13, 2020, Grenoble, France (Virtual Conference). Volume 79 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.