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 May 15, 2025. https://eceasst.org/index.php/eceasst/article/view/2155.