Formal models of awareness
scientific article