Oladimeji, Patrick, Paolo Masci, Paul Curzon, and Harold Thimbleby. “PVSio-Web: A Tool for Rapid Prototyping Device User Interfaces in PVS”. Electronic Communications of the EASST 69 (October 25, 2014). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/2155.