[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions