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