Yuvaraj Selvaraj Zhennan Fei Martin Fabian Supervisory Control Theory in System Safety Analysis. 9-22 2020 SAFECOMP Workshops https://doi.org/10.1007/978-3-030-55583-2_1 conf/safecomp/2020w db/conf/safecomp/safecomp2020w.html#SelvarajFF20