FaultEx: Explaining operational changes in terms of design variables in CPS control code | IEEE Conference Publication | IEEE Xplore