Skip to main contentModeling and debugging of embedded systems | GenAI Works