TY - JOUR T1 - Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks JO - Electronic Notes in Theoretical Computer Science PY - 2008/04/01 AU - Su L AU - Bowman H AU - Barnard P ED - DO - DOI: 10.1016/j.entcs.2008.03.109 PB - Elsevier BV VL - 208 SP - 95 EP - 111 Y2 - 2025/08/13 ER -