The WASM3 Interpreter as a Hard Real-Time Software Platform for the On-Board Computer of a Student Nanosatellite | IEEE Conference Publication | IEEE Xplore