“…Prior work has investigated how to generate humancomputer interfaces from task models (García, Lemaigre, González-Calleros, & Vanderdonckt, 2008;Tran, Kolp, Vanderdonckt, Wautelet, & Faulkner, 2010). However, these efforts were concerned with implementing human-computer interfaces, not providing performance guarantees.…”