Cléver Ricardo Guareis de Farias Luís Ferreira Pires Wanderley Lopes de Souza Célio Estevan Morón Specification and Validation of a Real-Time Parallel Kernel Using LOTOS. 7-14 2001 conf/mascots/2001 MASCOTS http://csdl.computer.org/comp/proceedings/mascots/2001/1315/00/13150007abs.htm db/conf/mascots/mascots2001.html#FariasPSM01