  This paper introduces a formal definition of a Cyber-Physical System (CPS) in
the spirit of the CPS Framework proposed by the National Institute of Standards
and Technology (NIST). It shows that using this definition, various problems
related to concerns in a CPS can be precisely formalized and implemented using
Answer Set Programming (ASP). These include problems related to the dependency
or conflicts between concerns, how to mitigate an issue, and what the most
suitable mitigation strategy for a given issue would be. It then shows how ASP
can be used to develop an implementation that addresses the aforementioned
problems. The paper concludes with a discussion of the potentials of the
proposed methodologies.
