"ICS-SEA: Formally Modeling the Conflicting Design Constraints in ICS."

Eyasu Getahun Chekole, Huaqun Guo (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics