Improved performance model of a real-time software element: the producer-consumer | Publicación