HyperReal One: the implementation, the environment and an example | IEEE Conference Publication | IEEE Xplore