Our new publication “Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System” is now published online. This paper presents the results of applying a formal methods-based approach for identifying and analyzing implicit interactions in a real-world wastewater dechlorination system provided by a municipal wastewater treatment facility and is based of the work resulting from our project with with the Critical Infrastructure Resilience Institute (CIRI). It was presented at the 6th International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems (CyberICPS 2020) in September 2020. See Publications for more details!