Ayan Banerjee, Imane Lamrani, Sandeep K. S. Gupta. FaultEx: Explaining operational changes in terms of design variables in CPS control code. In 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021, Victoria, BC, Canada, May 10-12, 2021. pages 485-490, IEEE, 2021. [doi]
Abstract is missing.