UML-based single-source approach for evaluation and optimization of mixed-critical embedded systems | Publicación