Industrial experiences with resource management under software randomization in ARINC653 avionics environments | Publicación