On the design of a Human-in-the-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration | IEEE Conference Publication | IEEE Xplore