This paper contributes an analysis and formalisation of Damasio's theory on core consciousness. Three important concepts in this theory are 'emotion', 'feeling' and 'feeling a feeling' (or core consciousness). In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made of relevant notions of representation used by Damasio. As part of this analysis, specifications of representation relations have been verified and confirmed against the simulation model. © 2007 Elsevier Inc. All rights reserved.