LegoSim: simulation of embedded kernels over Pthreads. - Thomas Röblitz; Frank Mueller 001; Oliver Bühn (ACM J. Educ. Resour. Comput., 2002)