Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational