Toward Linux-based safety-critical systems—Execution time variability analysis of Linux system calls | Publicación