<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Michael Harrison</style></author><author><style face="normal" font="default" size="100%">Paolo Masci</style></author><author><style face="normal" font="default" size="100%">José Creissac Campos</style></author><author><style face="normal" font="default" size="100%">Paul Curzon</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Specification and Analysis of Use Properties of a Nuclear Control System</style></title><secondary-title><style face="normal" font="default" size="100%">The Handbook of Formal Methods in Human-Computer Interaction</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1007/978-3-319-51838-1_14</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/masci/files/p-00m-t6a.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The chapter explores a layered approach to the analysis of the Nuclear Power Plant Control System described in Chapter 4. A model is specified to allow the analysis of use-centred properties based on generic templates. User interface properties include: the visibility of state attributes, the clarity of the mode structure and the ease with which an action can be recovered from. Property templates are used as heuristics to ease the construction of requirements for the control system interface.&lt;/p&gt;
</style></abstract></record></records></xml>