Oladimeji, P. (2014) “PVSio-web: a tool for rapid prototyping device user interfaces in PVS”, Electronic Communications of the EASST, 69. doi: 10.14279/tuj.eceasst.69.963.