An efficient virtual system clock for the wireless raspberry pi computer platform. - Diego Leonel Cadette Dutra; Edilson C. Corrêa; Cláudio L. Amorim (Concurr. Comput. Pract. Exp., 2017)