Towards Linux based safety systems—A statistical approach for software execution path coverage | Publicación