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. In 9th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 August 2001, Cincinnati, OH, USA. pages 7-14, IEEE Computer Society, 2001. [doi]