A mixed logit model for predicting exit choice during building evacuations.

Knowledge on human behaviour in emergency is crucial to increase the safety of buildings and transportation systems. Decision making during evacuations implies different choices, of which one of the most important concerns the escape route. The choice of a route may involve local decisions between alternative exits from an enclosed environment. This work investigates the influence of environmental (presence of smoke, emergency lighting and distance of exit) and social factors (interaction with evacuees close to the exits and with those near the decision-maker) on local exit choice. This goal is pursued using an online stated preference survey carried out making use of non-immersive virtual reality. A sample of 1,503 participants is obtained and a Mixed Logit Model is calibrated using these data. The model shows that presence of smoke, emergency lighting, distance of exit, number of evacuees near the exits and the decision-maker, and flow of evacuees through the exits significantly affect local exit choice. Moreover, the model points out that decision making is affected by a high degree of behavioural uncertainty. Our findings support the improvement of evacuation models and the accuracy of their results, which can assist in designing and managing building and transportation systems. The main contribution of this work is to enrich the understanding of how local exit choices are made and how behavioural uncertainty affects these choices.

The psychometric properties of the brief Other as Shamer Scale for Children (OAS‐C) : preliminary validation studies in a sample of Portuguese children

Shame is a social emotion with adaptive functions involved in human be-havior and social interactions. This emotion is regarded as an involuntary response associated with increased self-awareness, loss of status and self-devaluation (Gilbert, 1998), that may render individuals more prone to psychopathology (Gilbert, 1998; Pinto-Gouveia & Matos, 2011). Thus, identifying and assessing feelings of shame in childhood is essential in addressing the actual impact of shame on individual’s developmental trajectory. The Other As Shamer Scale (OAS; Goss, Gilbert & Allan, 1994) is a widely used measure of external shame, adapted and translated to several languages — including Portuguese (Matos, Pinto-Gouveia, Gilbert, Duarte & Figueiredo, 2015) — to adult and to adolescent populations (OASB-A - Other As Shamer Brief for adolescents; translated and adapted by Cunha, Xavier, Cherpe & Pinto-Gouveia, 2014). The current study aims to adapt and to explore the psychometric proper-ties of the brief OAS in a sample of Portuguese children attending to elementary schools.

Inércia organizacional

Ultimamente muitas investigações têm sido levadas a cabo em diferentes áreas das Ciências Sociais e Humanas, nas quais o fenómeno de inércia, suas causas e resultados têm sido estudados, a saber: na Filosofia (Ética e Praxeologia), na Psicologia ou na Teoria Organizacional. Todavia, parece que a literatura científica das Ciências Sociais, maioritariamente baseada em estudos empíricos, nos quais a inércia é uma das variáveis independentes, carece de reflexão teórica. O problema de inércia organizacional é analisado no presente artigo como um caso específico da inércia do comportamento humano. Este artigo aborda apenas algumas questões relacionadas com a inércia do comportamento humano: o problema da aplicação directa do princípio mecânico para a área psicossocial, algumas concepções deste fenómeno nas Ciências Sociais com especial enfoque na Teoria organizacional, bem como a avaliação deste fenómeno. Por estas razões, o texto concentra- se nos aspectos conceptuais do fenómeno, levantando mais questões do que dando respostas. Tem um carácter introdutório a futuras investigações.

Engagement and labour stress in nursing

Engagement is a useful concept in the profession of nursing as it focuses on the positive dimension of human behaviour and visualizes the work context as a positive situation. Evaluate the stress and engagement levels on Portuguese and Spanish nurses and analyse the factors related to the stress and engagement levels in the two sample groups. Comparative exploratory study in a quantitative paradigm. Sample of 867 nurses (504 Portuguese, 363 Spanish), female 83.6% (78.6% Portugal, 90.6% Spain) and average age of 37. Portuguese (77.2%) and Spanish nurses (39.4%), work on average 40 hours per week. 60.6% and 57.7% of the Spanish and Portuguese respectively exercise their profession for 10 years. Sociodemographic questionnaire, the Pamela Gray-Toft’s Nursing Stress Scale (1981) and Schaufeli & Bakker’s Utrecht Work Engagement Scale (2003) were used. In what concerns Engagement there are statistically signiicant differences in the three dimensions, the p-value of the t-Student test were under 5%, highlighting the Spanish nurses for being more vigorous, dedicated and absorbed by their work: vigour, dedication and absorption. The sample of Portuguese nurses experience higher stress levels although the difference with Spanish nurses isn’t statistically signiicant. There are statistically signiicant differences between Portugal and Spain in “Lack of help from colleagues” and also in the psychological domain in general. The Spanish nurses feel more vigorous, dedicated and absorbed by their work. The Portuguese nurses perceive more psychological stress and mention having less help from colleagues.

Emotion in Cervantes and Shakespeare

Early modern thought found in emotion a key to explaining human behaviour, highlighting the powerful way in which it can influence and disturb human life. Shakespeare’s and Cervantes’s treatment of emotion includes a full acknowledgement of its mental and bodily aspects and functions. But emotion rarely comes in a pure state. Character and emotion interact and their responses are often contradictory. Since emotions are sentiments that we feel and actions that we perform, it is worth inquiring into how, in Cervantes and Shakespeare, emotion affects their characters in different ways.

Estimation de cartes d'énergie de hautes fréquences ou d'irrégularité de périodicité de la marche humaine par caméra de profondeur pour la détection de pathologies

Ce travail présente deux nouveaux systèmes simples d'analyse de la marche humaine grâce à une caméra de profondeur (Microsoft Kinect) placée devant un sujet marchant sur un tapis roulant conventionnel, capables de détecter une marche saine et celle déficiente. Le premier système repose sur le fait qu'une marche normale présente typiquement un signal de profondeur lisse au niveau de chaque pixel avec moins de hautes fréquences, ce qui permet d'estimer une carte indiquant l'emplacement et l'amplitude de l'énergie de haute fréquence (HFSE). Le second système analyse les parties du corps qui ont un motif de mouvement irrégulier, en termes de périodicité, lors de la marche. Nous supposons que la marche d'un sujet sain présente partout dans le corps, pendant les cycles de marche, un signal de profondeur avec un motif périodique sans bruit. Nous estimons, à partir de la séquence vidéo de chaque sujet, une carte montrant les zones d'irrégularités de la marche (également appelées énergie de bruit apériodique). La carte avec HFSE ou celle visualisant l'énergie de bruit apériodique peut être utilisée comme un bon indicateur d'une éventuelle pathologie, dans un outil de diagnostic précoce, rapide et fiable, ou permettre de fournir des informations sur la présence et l'étendue de la maladie ou des problèmes (orthopédiques, musculaires ou neurologiques) du patient. Même si les cartes obtenues sont informatives et très discriminantes pour une classification visuelle directe, même pour un non-spécialiste, les systèmes proposés permettent de détecter automatiquement les individus en bonne santé et ceux avec des problèmes locomoteurs.

Estimation de cartes d'énergie de hautes fréquences ou d'irrégularité de périodicité de la marche humaine par caméra de profondeur pour la détection de pathologies

Ce travail présente deux nouveaux systèmes simples d'analyse de la marche humaine grâce à une caméra de profondeur (Microsoft Kinect) placée devant un sujet marchant sur un tapis roulant conventionnel, capables de détecter une marche saine et celle déficiente. Le premier système repose sur le fait qu'une marche normale présente typiquement un signal de profondeur lisse au niveau de chaque pixel avec moins de hautes fréquences, ce qui permet d'estimer une carte indiquant l'emplacement et l'amplitude de l'énergie de haute fréquence (HFSE). Le second système analyse les parties du corps qui ont un motif de mouvement irrégulier, en termes de périodicité, lors de la marche. Nous supposons que la marche d'un sujet sain présente partout dans le corps, pendant les cycles de marche, un signal de profondeur avec un motif périodique sans bruit. Nous estimons, à partir de la séquence vidéo de chaque sujet, une carte montrant les zones d'irrégularités de la marche (également appelées énergie de bruit apériodique). La carte avec HFSE ou celle visualisant l'énergie de bruit apériodique peut être utilisée comme un bon indicateur d'une éventuelle pathologie, dans un outil de diagnostic précoce, rapide et fiable, ou permettre de fournir des informations sur la présence et l'étendue de la maladie ou des problèmes (orthopédiques, musculaires ou neurologiques) du patient. Même si les cartes obtenues sont informatives et très discriminantes pour une classification visuelle directe, même pour un non-spécialiste, les systèmes proposés permettent de détecter automatiquement les individus en bonne santé et ceux avec des problèmes locomoteurs.

Edge enhancement improves disruptive camouflage by emphasising false edges and creating pictorial relief

Disruptive colouration is a visual camouflage composed of false edges and boundaries. Many disruptively camouflaged animals feature enhanced edges; light patches are surrounded by a lighter outline and/or a dark patches are surrounded by a darker outline. This camouflage is particularly common in amphibians, reptiles and lepidopterans. We explored the role that this pattern has in creating effective camouflage. In a visual search task utilising an ultra-large display area mimicking search tasks that might be found in nature, edge enhanced disruptive camouflage increases crypsis, even on substrates that do not provide an obvious visual match. Specifically, edge enhanced camouflage is effective on backgrounds both with and without shadows; i.e. this is not solely due to background matching of the dark edge enhancement element with the shadows. Furthermore, when the dark component of the edge enhancement is omitted the camouflage still provided better crypsis than control patterns without edge enhancement. This kind of edge enhancement improved camouflage on all background types. Lastly, we show that edge enhancement can create a perception of multiple surfaces. We conclude that edge enhancement increases the effectiveness of disruptive camouflage through mechanisms that may include the improved disruption of the object outline by implying pictorial relief.

Analysis of chromium behaviour and speciation during the electrodialytic process

The interest in chromium (Cr) arises from the widespread use of this heavy metal in various industrial processes that cause its release as liquid, solid and gaseous waste into the environment. The impact of Cr on the environment and living organisms primarily depends on its chemical form, since Cr(III) is an essential micronutrient for humans, other animals and plants, and Cr(VI) is highly toxic and a known human carcinogen. This study aimed to evaluate if the electrodialytic process (ED) is an appropriate treatment for Cr removal, through a critical overview of Cr speciation, before and after the ED experiments, to assess possible Cr(III)-Cr(VI) interconversions during the treatment. ED was the treatment technique applied to two types of matrices containing Cr: chromate copper arsenate (CCA) contaminated soil and municipal solid waste incineration (MSWI) fly ash. In order to study Cr remediation, three EDR set-ups were used: a new set-up, the combined cell (2/3C or 3/2C), with three compartments, alternating current between two anodes and different initial experimental conditions, one set-up with three compartments (3C cell) and the other set-up with two compartments (2C cell). The Cr removal rates obtained in this study were between 10-36% for the soil, and 1-13% for the fly ash. The highest Cr removal rates were achieved in the 26 days experiments: 36% for the soil, 13% for the fly ash. Regarding the 13 days experiments, the highest Cr removal rates were attained with the 2/3C set-up: 24% for the soil, 5% for the fly ash. The analysis of Cr(VI) was performed before and after ED experiments to evaluate eventual changes in Cr speciation during the treatment. This analysis was conducted by two methods: USEPA Method 3060A, for the extraction of Cr(VI); and Hach Company Method 8023, for the detection of Cr(VI). Despite the differences in Cr total concentration, both matrices presented a similar speciation, with Cr(III) being the main species found and Cr(VI) less than 3% of Cr total, before and after the treatment. For fly ash, Cr(VI) was initially below the detection limit of the method and remained that way after the treatment. For soil, Cr(VI) decreased after the treatment. Oxidation of Cr(III) to Cr(VI) did not occur during the ED process since there was no increase in Cr(VI) in the matrices after the treatment. Hence, the results of this study indicate that ED is an appropriate technique to remediate matrices containing Cr because it contributes to Cr removal, without causing Cr(III)-Cr(VI) interconversions.

Human capital in export-based internationalisation. "Managerial determinants and their influence upon the export behaviour of the firm: four case-studies of catalan exporting SMEs"

Export activities are a major source of economic growth and are considered important both at the national level and for individual businesses. Moreover, in the case of SMEs, they gain particular relevance, exporting being the most common foreign market entry mode for these firms. The decision maker’s role in the export activity is crucial, particularly in the case of SMEs. However, the extant literature on internationalization is characterized by a lack of consensus among scholars as to what constitutes the managerial factor in determining exporting. Therefore, this study focuses on the following issue: Which are the decision maker’s characteristics and perceptions that may influence the export behaviour of Catalan SMEs? To address this question a multiple case study method is applied across four Catalan exporting SMEs. The methodology chosen for analysing the empirical data is relying on the proposition testing approach while the investigation is conducted including both within and cross-case analysis. The findings show that high educational level, language skills, high risk tolerance, innovativeness as well as strongly perceived export stimuli as compared to low and easy to overcome export barriers positively influence the export involvement and development of SMEs. The study provides further insights into the research topic by jointly studying managerial characteristics and perceptions. Additionally, the majority of research on exporting topics has been carried out in the USA, so there is a clear need of investigation in the field in other countries, moreover in Spain where the exporting activities have not been as widely studied.

Development of an ex vivo human skin model for intradermal vaccination : tissue viability and Langerhans cell behaviour

The presence of resident Langerhans cells (LCs) in the epidermis makes the skin an attractive target for DNA vaccination. However, reliable animal models for cutaneous vaccination studies are limited. We demonstrate an ex vivo human skin model for cutaneous DNA vaccination which can potentially bridge the gap between pre-clinical in vivo animal models and clinical studies. Cutaneous transgene expression was utilised to demonstrate epidermal tissue viability in culture. LC response to the culture environment was monitored by immunohistochemistry. Full-thickness and split-thickness skin remained genetically viable in culture for at least 72 h in both phosphate-buffered saline (PBS) and full organ culture medium (OCM). The epidermis of explants cultured in OCM remained morphologically intact throughout the culture duration. LCs in full-thickness skin exhibited a delayed response (reduction in cell number and increase in cell size) to the culture conditions compared with split-thickness skin, whose response was immediate. In conclusion, excised human skin can be cultured for a minimum of 72 h for analysis of gene expression and immune cell activation. However, the use of split-thickness skin for vaccine formulation studies may not be appropriate because of the nature of the activation. Full-thickness skin explants are a more suitable model to assess cutaneous vaccination ex vivo.

Formal theory building for the avalanche game: explaining counter-intuitive behaviour of a complex system using geometrical and human behavioural/physiological effects

In 'Avalanche', an object is lowered, players staying in contact throughout. Normally the task is easily accomplished. However, with larger groups counter-intuitive behaviours appear. The paper proposes a formal theory for the underlying causal mechanisms. The aim is to not only provide an explicit, testable hypothesis for the source of the observed modes of behaviour-but also to exemplify the contribution that formal theory building can make to understanding complex social phenomena. Mapping reveals the importance of geometry to the Avalanche game; each player has a pair of balancing loops, one involved in lowering the object, the other ensuring contact. For more players, sets of balancing loops interact and these can allow dominance by reinforcing loops, causing the system to chase upwards towards an ever-increasing goal. However, a series of other effects concerning human physiology and behaviour (HPB) is posited as playing a role. The hypothesis is therefore rigorously tested using simulation. For simplicity a 'One Degree of Freedom' case is examined, allowing all of the effects to be included whilst rendering the analysis more transparent. Formulation and experimentation with the model gives insight into the behaviours. Multi-dimensional rate/level analysis indicates that there is only a narrow region in which the system is able to move downwards. Model runs reproduce the single 'desired' mode of behaviour and all three of the observed 'problematic' ones. Sensitivity analysis gives further insight into the system's modes and their causes. Behaviour is seen to arise only when the geometric effects apply (number of players greater than degrees of freedom of object) in combination with a range of HPB effects. An analogy exists between the co-operative behaviour required here and various examples: conflicting strategic objectives in organizations; Prisoners' Dilemma and integrated bargaining situations. Additionally, the game may be relatable in more direct algebraic terms to situations involving companies in which the resulting behaviours are mediated by market regulations. Finally, comment is offered on the inadequacy of some forms of theory building and the case is made for formal theory building involving the use of models, analysis and plausible explanations to create deep understanding of social phenomena.

Biochemical analysis of the phosphatase domain of the human soluble epoxide hydrolase (sEH)

Die lösliche Epoxidhydrolase (sEH) gehört zur Familie der Epoxidhydrolase-Enzyme. Die Rolle der sEH besteht klassischerweise in der Detoxifikation, durch Umwandlung potenziell schädlicher Epoxide in deren unschädliche Diol-Form. Hauptsächlich setzt die sEH endogene, der Arachidonsäure verwandte Signalmoleküle, wie beispielsweise die Epoxyeicosatrienoic acid, zu den entsprechenden Diolen um. Daher könnte die sEH als ein Zielenzym in der Therapie von Bluthochdruck und Entzündungen sowie diverser anderer Erkrankungen eingesetzt werden. rnDie sEH ist ein Homodimer, in dem jede Untereinheit aus zwei Domänen aufgebaut ist. Das katalytische Zentrum der Epoxidhydrolaseaktivität befindet sich in der 35 kD großen C-terminalen Domäne. Dieser Bereich der sEH s wurde bereits im Detail untersucht und nahezu alle katalytischen Eigenschaften des Enzyms sowie deren dazugehörige Funktionen sind in Zusammenhang mit dieser Domäne bekannt. Im Gegensatz dazu ist über die 25 kD große N-terminale Domäne wenig bekannt. Die N-terminale Domäne der sEH wird zur Haloacid Dehalogenase (HAD) Superfamilie von Hydrolasen gezählt, jedoch war die Funktion dieses N-terminal Domäne lange ungeklärt. Wir haben in unserer Arbeitsgruppe zum ersten Mal zeigen können, dass die sEH in Säugern ein bifunktionelles Enzym ist, welches zusätzlich zur allgemein bekannten Enzymaktivität im C-terminalen Bereich eine weitere enzymatische Funktion mit Mg2+-abhängiger Phosphataseaktivität in der N-terminalen Domäne aufweist. Aufgrund der Homologie der N-terminalen Domäne mit anderen Enzymen der HAD Familie wird für die Ausübung der Phosphatasefunktion (Dephosphorylierung) eine Reaktion in zwei Schritten angenommen.rnUm den katalytischen Mechanismus der Dephosphorylierung weiter aufzuklären, wurden biochemische Analysen der humanen sEH Phosphatase durch Generierung von Mutationen im aktiven Zentrum mittels ortsspezifischer Mutagenese durchgeführt. Hiermit sollten die an der katalytischen Aktivität beteiligten Aminosäurereste im aktiven Zentrum identifiziert und deren Rolle bei der Dephosphorylierung spezifiziert werden. rnrnAuf Basis der strukturellen und möglichen funktionellen Ähnlichkeiten der sEH und anderen Mitgliedern der HAD Superfamilie wurden Aminosäuren (konservierte und teilweise konservierte Aminosäuren) im aktiven Zentrum der sEH Phosphatase-Domäne als Kandidaten ausgewählt.rnVon den Phosphatase-Domäne bildenden Aminosäuren wurden acht ausgewählt (Asp9 (D9), Asp11 (D11), Thr123 (T123), Asn124 (N124), Lys160 (K160), Asp184 (D184), Asp185 (D185), Asn189 (N189)), die mittels ortsspezifischer Mutagenese durch nicht funktionelle Aminosäuren ausgetauscht werden sollten. Dazu wurde jede der ausgewählten Aminosäuren durch mindestens zwei alternative Aminosäuren ersetzt: entweder durch Alanin oder durch eine Aminosäure ähnlich der im Wildtyp-Enzym. Insgesamt wurden 18 verschiedene rekombinante Klone generiert, die für eine mutante sEH Phosphatase Domäne kodieren, in dem lediglich eine Aminosäure gegenüber dem Wildtyp-Enzym ersetzt wurde. Die 18 Mutanten sowie das Wildtyp (Sequenz der N-terminalen Domäne ohne Mutation) wurden in einem Expressionsvektor in E.coli kloniert und die Nukleotidsequenz durch Restriktionsverdau sowie Sequenzierung bestätigt. Die so generierte N-terminale Domäne der sEH (25kD Untereinheit) wurde dann mittels Metallaffinitätschromatographie erfolgreich aufgereinigt und auf Phosphataseaktivität gegenüber des allgemeinen Substrats 4-Nitophenylphosphat getestet. Diejenigen Mutanten, die Phosphataseaktivität zeigten, wurden anschließend kinetischen Tests unterzogen. Basiered auf den Ergebnissen dieser Untersuchungen wurden kinetische Parameter mittels vier gut etablierter Methoden berechnet und die Ergebnisse mit der „direct linear blot“ Methode interpretiert. rnDie Ergebnisse zeigten, dass die meisten der 18 generierten Mutanten inaktiv waren oder einen Großteil der Enzymaktivität (Vmax) gegenüber dem Wildtyp verloren (WT: Vmax=77.34 nmol-1 mg-1 min). Dieser Verlust an Enzymaktivität ließ sich nicht durch einen Verlust an struktureller Integrität erklären, da der Wildtyp und die mutanten Proteine in der Chromatographie das gleiche Verhalten zeigten. Alle Aminosäureaustausche Asp9 (D9), Lys160 (K160), Asp184 (D184) und Asn189 (N189) führten zum kompletten Verlust der Phosphataseaktivität, was auf deren katalytische Funktion im N-terminalen Bereich der sEH hindeutet. Bei einem Teil der Aminosäureaustausche die für Asp11 (D11), Thr123 (T123), Asn124 (N124) und Asn185 (D185) durchgeführt wurden, kam es, verglichen mit dem Wildtyp, zu einer starken Reduktion der Phosphataseaktivität, die aber dennoch für die einzelnen Proteinmutanten in unterschiedlichem Ausmaß zu messen war (2 -10% and 40% of the WT enzyme activity). Zudem zeigten die Mutanten dieser Gruppe veränderte kinetische Eigenschaften (Vmax allein oder Vmax und Km). Dabei war die kinetische Analyse des Mutanten Asp11  Asn aufgrund der nur bei dieser Mutanten detektierbaren starken Vmax Reduktion (8.1 nmol-1 mg-1 min) und einer signifikanten Reduktion der Km (Asp11: Km=0.54 mM, WT: Km=1.3 mM), von besonderem Interesse und impliziert eine Rolle von Asp11 (D11) im zweiten Schritt der Hydrolyse des katalytischen Zyklus.rnZusammenfassend zeigen die Ergebnisse, dass alle in dieser Arbeit untersuchten Aminosäuren für die Phosphataseaktivität der sEH nötig sind und das aktive Zentrum der sEH Phosphatase im N-terminalen Bereich des Enzyms bilden. Weiterhin tragen diese Ergebnisse zur Aufklärung der potenziellen Rolle der untersuchten Aminosäuren bei und unterstützen die Hypothese, dass die Dephosphorylierungsreaktion in zwei Schritten abläuft. Somit ist ein kombinierter Reaktionsmechanismus, ähnlich denen anderer Enzyme der HAD Familie, für die Ausübung der Dephosphorylierungsfunktion denkbar. Diese Annahme wird gestützt durch die 3D-Struktur der N-terminalen Domäne, den Ergebnissen dieser Arbeit sowie Resultaten weiterer biochemischer Analysen. Der zweistufige Mechanismus der Dephosphorylierung beinhaltet einen nukleophilen Angriff des Substratphosphors durch das Nukleophil Asp9 (D9) des aktiven Zentrums unter Bildung eines Acylphosphat-Enzym-Zwischenprodukts, gefolgt von der anschließenden Freisetzung des dephosphorylierten Substrats. Im zweiten Schritt erfolgt die Hydrolyse des Enzym-Phosphat-Zwischenprodukts unterstützt durch Asp11 (D11), und die Freisetzung der Phosphatgruppe findet statt. Die anderen untersuchten Aminosäuren sind an der Bindung von Mg 2+ und/oder Substrat beteiligt. rnMit Hilfe dieser Arbeit konnte der katalytischen Mechanismus der sEH Phosphatase weiter aufgeklärt werden und wichtige noch zu untersuchende Fragestellungen, wie die physiologische Rolle der sEH Phosphatase, deren endogene physiologische Substrate und der genaue Funktionsmechanismus als bifunktionelles Enzym (die Kommunikation der zwei katalytischen Einheiten des Enzyms) wurden aufgezeigt und diskutiert.rn

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.