Clarkand Moreira. Formal User-centred Models. Springer US, 1997, doi:10.1007/978-0-387-35261-9_15.