  The emergence of Context-aware systems in the domains of autonomic,
monitoring, and safety-critical applications asks for the definition of methods
to formally assess their correctness and dependability properties. Many of
these properties are common to Automatic Control systems, a field that
developed well established analysis and design techniques to formalize and
investigate them. In this paper, we use Boolean Control Networks, to discuss
some properties of a feedback Context-aware system in a case study based on a
healthcare management example.
