Sérgio Ivan Lopes, António Miguel Rosado da Cruz, Pedro Miguel Moreira, Carlos Abreu, Joaquim P. Silva, Nuno Lopes, José M. N. Vieira, António Curado: On the design of a Human-in-the-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration. ISC2 2018: 1-8