Oladimeji, P., Masci, P., Curzon, P., & Thimbleby, H. (2014). PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electronic Communications of the EASST, 69. https://doi.org/10.14279/tuj.eceasst.69.963