Approximate performance models of real-time software systems | Publicación