Modeling and debugging of embedded systems | GenAI Works