Safety critical applications and hard real-time profile for Java | Publicación