IoTSec:Common Vocabulary/Personas

In many circles Personas are just seen as textual descriptions of fictive users of a (technological) system. Standard readings includes:

• Book ?

But there are a few works on formalizations: /Formal modelling of Personas