Towards automated hazard analysis for CPS security with application to CSTR system. (July 2022)